Skip to content

Actions: aave/gho-core

Actions

certora-gho

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-gho.yml
232 workflow runs
232 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Certora formal verification for GhoStewardV2 certora-gho #59: Pull request #395 synchronize by miguelmtzinf
March 20, 2024 08:40 11m 16s certora/ghostewardv2
certora/ghostewardv2
March 20, 2024 08:40 11m 16s
Add Certora formal verification for GhoStewardV2 certora-gho #58: Pull request #395 synchronize by miguelmtzinf
March 20, 2024 08:14 12m 13s certora/ghostewardv2
certora/ghostewardv2
March 20, 2024 08:14 12m 13s
fix: fix typos (#390) certora-gho #57: Commit eca2e77 pushed by miguelmtzinf
March 19, 2024 07:15 11m 4s main
main
March 19, 2024 07:15 11m 4s
fix: fix typos certora-gho #56: Pull request #390 synchronize by rex4539
March 19, 2024 06:52 1m 44s typos
typos
March 19, 2024 06:52 1m 44s
Add Certora formal verification for GhoStewardV2 certora-gho #55: Pull request #395 synchronize by miguelmtzinf
March 18, 2024 15:15 12m 17s certora/ghostewardv2
certora/ghostewardv2
March 18, 2024 15:15 12m 17s
Add Certora formal verification for GhoStewardV2 certora-gho #54: Pull request #395 opened by miguelmtzinf
March 18, 2024 15:00 10m 58s certora/ghostewardv2
certora/ghostewardv2
March 18, 2024 15:00 10m 58s
Certora review for Steward certora-gho #53: Pull request #393 opened by nisnislevi
March 17, 2024 14:31 1m 52s Certora:certora-squashed
Certora:certora-squashed
March 17, 2024 14:31 1m 52s
feat: Add GhoStewardV2 (#388) certora-gho #52: Commit 77dd627 pushed by miguelmtzinf
March 15, 2024 13:33 12m 43s main
main
March 15, 2024 13:33 12m 43s
Feat: Gho steward v2 certora-gho #51: Pull request #388 synchronize by miguelmtzinf
March 15, 2024 11:40 9m 13s feat/gho-steward-v2
feat/gho-steward-v2
March 15, 2024 11:40 9m 13s
Feat: Gho steward v2 certora-gho #50: Pull request #388 synchronize by JoaquinBattilana
March 7, 2024 15:12 10m 49s feat/gho-steward-v2
feat/gho-steward-v2
March 7, 2024 15:12 10m 49s
Feat: Gho steward v2 certora-gho #49: Pull request #388 synchronize by JoaquinBattilana
March 7, 2024 14:44 11m 46s feat/gho-steward-v2
feat/gho-steward-v2
March 7, 2024 14:44 11m 46s
Feat: Gho steward v2 certora-gho #48: Pull request #388 synchronize by JoaquinBattilana
March 5, 2024 03:34 11m 48s feat/gho-steward-v2
feat/gho-steward-v2
March 5, 2024 03:34 11m 48s
Feat: Gho steward v2 certora-gho #47: Pull request #388 synchronize by JoaquinBattilana
March 1, 2024 16:59 32m 43s feat/gho-steward-v2
feat/gho-steward-v2
March 1, 2024 16:59 32m 43s
Feat: Gho steward v2 certora-gho #46: Pull request #388 synchronize by JoaquinBattilana
March 1, 2024 13:14 11m 36s feat/gho-steward-v2
feat/gho-steward-v2
March 1, 2024 13:14 11m 36s
Feat: Gho steward v2 certora-gho #45: Pull request #388 synchronize by JoaquinBattilana
March 1, 2024 13:06 35m 32s feat/gho-steward-v2
feat/gho-steward-v2
March 1, 2024 13:06 35m 32s
Feat: Gho steward v2 certora-gho #44: Pull request #388 synchronize by JoaquinBattilana
March 1, 2024 02:38 9m 28s feat/gho-steward-v2
feat/gho-steward-v2
March 1, 2024 02:38 9m 28s
Feat: Gho steward v2 certora-gho #43: Pull request #388 synchronize by JoaquinBattilana
March 1, 2024 02:26 11m 55s feat/gho-steward-v2
feat/gho-steward-v2
March 1, 2024 02:26 11m 55s
Feat: Gho steward v2 certora-gho #42: Pull request #388 synchronize by JoaquinBattilana
February 23, 2024 14:42 11m 29s feat/gho-steward-v2
feat/gho-steward-v2
February 23, 2024 14:42 11m 29s
Feat: Gho steward v2 certora-gho #41: Pull request #388 synchronize by JoaquinBattilana
February 22, 2024 18:01 10m 4s feat/gho-steward-v2
feat/gho-steward-v2
February 22, 2024 18:01 10m 4s
Feat: Gho steward v2 certora-gho #40: Pull request #388 synchronize by JoaquinBattilana
February 22, 2024 02:13 11m 29s feat/gho-steward-v2
feat/gho-steward-v2
February 22, 2024 02:13 11m 29s
fix: fix typos certora-gho #39: Pull request #390 opened by rex4539
February 21, 2024 08:01 1m 52s typos
typos
February 21, 2024 08:01 1m 52s
fix: migrate npm deps to git modules foundry dependencies (#382) certora-gho #38: Commit 3b6810c pushed by miguelmtzinf
February 20, 2024 18:00 10m 4s main
main
February 20, 2024 18:00 10m 4s
Chore/migration npm deps to forge certora-gho #37: Pull request #382 synchronize by miguelmtzinf
February 20, 2024 17:14 11m 7s chore/migration-npm-deps-to-forge
chore/migration-npm-deps-to-forge
February 20, 2024 17:14 11m 7s
Chore/migration npm deps to forge certora-gho #36: Pull request #382 synchronize by miguelmtzinf
February 20, 2024 17:12 10m 59s chore/migration-npm-deps-to-forge
chore/migration-npm-deps-to-forge
February 20, 2024 17:12 10m 59s
Chore/migration npm deps to forge certora-gho #35: Pull request #382 synchronize by miguelmtzinf
February 20, 2024 12:44 10m 30s chore/migration-npm-deps-to-forge
chore/migration-npm-deps-to-forge
February 20, 2024 12:44 10m 30s