Skip to content

Actions: Certora/gho-core

Actions

certora-gho

Actions

Loading...
Loading

Show workflow options

Create status badge

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