Skip to content

Actions: Certora/gho-core

Actions

certora-gsm

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-gsm.yml
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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