Skip to content

Actions: Certora/gho-core

Actions

certora-steward

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-steward.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Add isControlledFacilitator to GhoBucketSteward (#429) certora-steward #28: Commit 0a6fbd4 pushed by nisnislevi
December 8, 2024 13:58 7m 20s main
main
December 8, 2024 13:58 7m 20s
Certora certora-steward #27: Pull request #11 synchronize by MichaelMorami
September 15, 2024 09:24 5m 8s certora
certora
September 15, 2024 09:24 5m 8s
Certora certora-steward #26: Pull request #11 synchronize by MichaelMorami
September 15, 2024 09:22 3m 18s certora
certora
September 15, 2024 09:22 3m 18s
Certora certora-steward #25: Pull request #11 synchronize by MichaelMorami
September 15, 2024 08:05 6m 36s certora
certora
September 15, 2024 08:05 6m 36s
Certora certora-steward #24: Pull request #11 synchronize by MichaelMorami
August 25, 2024 14:48 5m 40s certora
certora
August 25, 2024 14:48 5m 40s
Certora certora-steward #23: Pull request #11 synchronize by MichaelMorami
August 25, 2024 12:29 4m 7s certora
certora
August 25, 2024 12:29 4m 7s
Certora certora-steward #22: Pull request #11 synchronize by MichaelMorami
August 25, 2024 12:11 1m 10s certora
certora
August 25, 2024 12:11 1m 10s
Certora certora-steward #21: Pull request #11 synchronize by nisnislevi
August 12, 2024 16:39 7m 53s certora
certora
August 12, 2024 16:39 7m 53s
Certora certora-steward #20: Pull request #11 synchronize by nisnislevi
August 12, 2024 14:54 7m 57s certora
certora
August 12, 2024 14:54 7m 57s
Certora certora-steward #19: Pull request #11 synchronize by nisnislevi
August 12, 2024 14:31 1m 16s certora
certora
August 12, 2024 14:31 1m 16s
Add GhoUpgradeable audit report (#412) certora-steward #18: Commit 3a3293b pushed by nisnislevi
August 11, 2024 07:52 7m 30s main
main
August 11, 2024 07:52 7m 30s
Certora certora-steward #17: Pull request #11 synchronize by nisnislevi
May 27, 2024 17:43 8m 13s certora
certora
May 27, 2024 17:43 8m 13s
Certora certora-steward #16: Pull request #11 synchronize by nisnislevi
May 27, 2024 13:40 7m 7s certora
certora
May 27, 2024 13:40 7m 7s
Certora certora-steward #15: Pull request #11 synchronize by nisnislevi
May 27, 2024 13:26 5m 21s certora
certora
May 27, 2024 13:26 5m 21s
Certora certora-steward #14: Pull request #11 synchronize by nisnislevi
May 27, 2024 13:22 3m 20s certora
certora
May 27, 2024 13:22 3m 20s
Certora certora-steward #13: Pull request #11 synchronize by nisnislevi
May 21, 2024 17:55 7m 14s certora
certora
May 21, 2024 17:55 7m 14s
Certora certora-steward #12: Pull request #11 synchronize by nisnislevi
May 21, 2024 17:37 6m 58s certora
certora
May 21, 2024 17:37 6m 58s
Certora certora-steward #11: Pull request #11 synchronize by nisnislevi
May 21, 2024 09:11 15s certora
certora
May 21, 2024 09:11 15s
Certora certora-steward #10: Pull request #11 synchronize by nisnislevi
May 21, 2024 09:04 1m 40s certora
certora
May 21, 2024 09:04 1m 40s
Certora certora-steward #9: Pull request #11 synchronize by nisnislevi
May 21, 2024 08:43 9m 15s certora
certora
May 21, 2024 08:43 9m 15s
Certora certora-steward #8: Pull request #11 synchronize by nisnislevi
May 21, 2024 08:24 9m 41s certora
certora
May 21, 2024 08:24 9m 41s
feat: Add Certora formal verification for GhoStewardV2 (#395) certora-steward #7: Commit f02f874 pushed by nisnislevi
May 21, 2024 07:54 8m 33s main
main
May 21, 2024 07:54 8m 33s
Certora certora-steward #6: Pull request #11 synchronize by nisnislevi
March 18, 2024 13:34 6m 44s certora
certora
March 18, 2024 13:34 6m 44s
for PR certora-steward #5: Pull request #18 opened by nisnislevi
March 17, 2024 14:19 5m 3s certora-squashed
certora-squashed
March 17, 2024 14:19 5m 3s
Certora squashed certora-steward #4: Pull request #17 synchronize by nisnislevi
March 17, 2024 11:42 7m 10s certora-squashed
certora-squashed
March 17, 2024 11:42 7m 10s