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

Modular Gho Stewards certora-gsm #88: Pull request #414 synchronize by CheyenneAtapour
July 10, 2024 00:06 20m 58s feat/ccip-extension
feat/ccip-extension
July 10, 2024 00:06 20m 58s
Modular Gho Stewards certora-gsm #87: Pull request #414 synchronize by CheyenneAtapour
July 9, 2024 23:27 39m 6s feat/ccip-extension
feat/ccip-extension
July 9, 2024 23:27 39m 6s
Modular Gho Stewards certora-gsm #86: Pull request #414 synchronize by CheyenneAtapour
July 9, 2024 20:29 20m 37s feat/ccip-extension
feat/ccip-extension
July 9, 2024 20:29 20m 37s
Modular Gho Stewards certora-gsm #85: Pull request #414 synchronize by CheyenneAtapour
July 8, 2024 23:31 41m 1s feat/ccip-extension
feat/ccip-extension
July 8, 2024 23:31 41m 1s
Modular Gho Stewards certora-gsm #84: Pull request #414 opened by CheyenneAtapour
July 8, 2024 22:58 21m 17s feat/ccip-extension
feat/ccip-extension
July 8, 2024 22:58 21m 17s
Add GhoUpgradeable audit report (#412) certora-gsm #83: Commit 3a3293b pushed by miguelmtzinf
June 11, 2024 12:47 38m 42s main
main
June 11, 2024 12:47 38m 42s
Add Certora security report for GhoUpgradeable certora-gsm #82: Pull request #412 opened by miguelmtzinf
June 11, 2024 10:08 19m 10s docs/gho-upgradeable-audit
docs/gho-upgradeable-audit
June 11, 2024 10:08 19m 10s
feat: Add upgradeable GHO Token (#400) certora-gsm #81: Commit a9647e1 pushed by miguelmtzinf
June 11, 2024 08:46 40m 4s main
main
June 11, 2024 08:46 40m 4s
feat: Add upgradeable GHO Token certora-gsm #80: Pull request #400 synchronize by miguelmtzinf
June 11, 2024 08:19 40m 21s feat/upgradeable-gho-token
feat/upgradeable-gho-token
June 11, 2024 08:19 40m 21s
feat: Add upgradeable GHO Token certora-gsm #79: Pull request #400 synchronize by miguelmtzinf
June 11, 2024 08:14 19m 33s feat/upgradeable-gho-token
feat/upgradeable-gho-token
June 11, 2024 08:14 19m 33s
fix: Update GhoSteward (#406) certora-gsm #78: Commit a8d05e6 pushed by miguelmtzinf
May 30, 2024 16:27 39m 54s main
main
May 30, 2024 16:27 39m 54s
Update GhoSteward certora-gsm #77: Pull request #406 synchronize by miguelmtzinf
May 29, 2024 21:44 18m 22s fix/aci-gho-steward
fix/aci-gho-steward
May 29, 2024 21:44 18m 22s
feat: Add upgradeable GHO Token certora-gsm #76: Pull request #400 synchronize by miguelmtzinf
May 28, 2024 07:07 42m 59s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 28, 2024 07:07 42m 59s
feat: Add upgradeable GHO Token certora-gsm #75: Pull request #400 synchronize by miguelmtzinf
May 28, 2024 06:58 38m 50s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 28, 2024 06:58 38m 50s
Update GhoSteward certora-gsm #74: Pull request #406 synchronize by miguelmtzinf
May 27, 2024 11:30 19m 26s fix/aci-gho-steward
fix/aci-gho-steward
May 27, 2024 11:30 19m 26s
Update GhoSteward certora-gsm #73: Pull request #406 opened by miguelmtzinf
May 27, 2024 10:19 19m 6s fix/aci-gho-steward
fix/aci-gho-steward
May 27, 2024 10:19 19m 6s
feat: Add upgradeable GHO Token certora-gsm #72: Pull request #400 synchronize by miguelmtzinf
May 24, 2024 06:50 41m 18s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 24, 2024 06:50 41m 18s
feat: Add upgradeable GHO Token certora-gsm #71: Pull request #400 synchronize by miguelmtzinf
May 23, 2024 13:39 5m 49s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 23, 2024 13:39 5m 49s
Update GhoStewardV2.sol certora-gsm #69: Pull request #402 synchronize by marczeller
May 21, 2024 15:39 1m 45s marczeller:patch-1
marczeller:patch-1
May 21, 2024 15:39 1m 45s
feat: Add upgradeable GHO Token certora-gsm #67: Pull request #400 synchronize by miguelmtzinf
May 9, 2024 08:00 20m 13s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 9, 2024 08:00 20m 13s
feat: Add upgradeable GHO Token certora-gsm #66: Pull request #400 opened by miguelmtzinf
May 8, 2024 16:29 38m 20s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 8, 2024 16:29 38m 20s
Add custom TokenPool contracts for GHO certora-gsm #65: Pull request #399 synchronize by miguelmtzinf
May 6, 2024 17:22 21m 6s feat/gho-ccip
feat/gho-ccip
May 6, 2024 17:22 21m 6s
Add custom TokenPool contracts for GHO certora-gsm #64: Pull request #399 opened by miguelmtzinf
April 19, 2024 10:14 41m 11s feat/gho-ccip
feat/gho-ccip
April 19, 2024 10:14 41m 11s
chore: testnet configs certora-gsm #62: Pull request #397 opened by foodaka
March 27, 2024 17:31 9m 35s chore/additional-testnets
chore/additional-testnets
March 27, 2024 17:31 9m 35s
feat: Add Certora formal verification for GhoStewardV2 (#395) certora-gsm #60: Commit f02f874 pushed by miguelmtzinf
March 20, 2024 10:16 17m 49s main
main
March 20, 2024 10:16 17m 49s