Skip to content

Actions: aave/gho-core

Actions

certora-gho-5.0.5

Actions

Loading...
Loading

Show workflow options

Create status badge

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