Skip to content

Actions: Certora/gho-core

Actions

certora-gho-5.0.5

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-gho-505.yml
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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