Skip to content

Actions: aave/gho-core

Actions

certora-gsm

Actions

Loading...
Loading

Show workflow options

Create status badge

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