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

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