Skip to content

Actions: aave/gho-core

Actions

certora-steward

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-steward.yml
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modular Gho Stewards certora-steward #34: Pull request #414 synchronize by CheyenneAtapour
July 10, 2024 00:06 1m 37s feat/ccip-extension
feat/ccip-extension
July 10, 2024 00:06 1m 37s
Modular Gho Stewards certora-steward #33: Pull request #414 synchronize by CheyenneAtapour
July 9, 2024 23:27 2m 1s feat/ccip-extension
feat/ccip-extension
July 9, 2024 23:27 2m 1s
Modular Gho Stewards certora-steward #32: Pull request #414 synchronize by CheyenneAtapour
July 9, 2024 20:29 1m 40s feat/ccip-extension
feat/ccip-extension
July 9, 2024 20:29 1m 40s
Modular Gho Stewards certora-steward #31: Pull request #414 synchronize by CheyenneAtapour
July 8, 2024 23:31 1m 36s feat/ccip-extension
feat/ccip-extension
July 8, 2024 23:31 1m 36s
Modular Gho Stewards certora-steward #30: Pull request #414 opened by CheyenneAtapour
July 8, 2024 22:58 2m 40s feat/ccip-extension
feat/ccip-extension
July 8, 2024 22:58 2m 40s
Add GhoUpgradeable audit report (#412) certora-steward #29: Commit 3a3293b pushed by miguelmtzinf
June 11, 2024 12:47 7m 25s main
main
June 11, 2024 12:47 7m 25s
Add Certora security report for GhoUpgradeable certora-steward #28: Pull request #412 opened by miguelmtzinf
June 11, 2024 10:08 7m 47s docs/gho-upgradeable-audit
docs/gho-upgradeable-audit
June 11, 2024 10:08 7m 47s
feat: Add upgradeable GHO Token (#400) certora-steward #27: Commit a9647e1 pushed by miguelmtzinf
June 11, 2024 08:46 6m 57s main
main
June 11, 2024 08:46 6m 57s
feat: Add upgradeable GHO Token certora-steward #26: Pull request #400 synchronize by miguelmtzinf
June 11, 2024 08:19 4m 58s feat/upgradeable-gho-token
feat/upgradeable-gho-token
June 11, 2024 08:19 4m 58s
feat: Add upgradeable GHO Token certora-steward #25: Pull request #400 synchronize by miguelmtzinf
June 11, 2024 08:14 7m 21s feat/upgradeable-gho-token
feat/upgradeable-gho-token
June 11, 2024 08:14 7m 21s
fix: Update GhoSteward (#406) certora-steward #24: Commit a8d05e6 pushed by miguelmtzinf
May 30, 2024 16:27 7m 6s main
main
May 30, 2024 16:27 7m 6s
Update GhoSteward certora-steward #23: Pull request #406 synchronize by miguelmtzinf
May 29, 2024 21:44 7m 34s fix/aci-gho-steward
fix/aci-gho-steward
May 29, 2024 21:44 7m 34s
feat: Add upgradeable GHO Token certora-steward #22: Pull request #400 synchronize by miguelmtzinf
May 28, 2024 07:07 7m 29s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 28, 2024 07:07 7m 29s
feat: Add upgradeable GHO Token certora-steward #21: Pull request #400 synchronize by miguelmtzinf
May 28, 2024 06:58 7m 18s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 28, 2024 06:58 7m 18s
Update GhoSteward certora-steward #20: Pull request #406 synchronize by miguelmtzinf
May 27, 2024 11:30 8m 20s fix/aci-gho-steward
fix/aci-gho-steward
May 27, 2024 11:30 8m 20s
Update GhoSteward certora-steward #19: Pull request #406 opened by miguelmtzinf
May 27, 2024 10:19 7m 0s fix/aci-gho-steward
fix/aci-gho-steward
May 27, 2024 10:19 7m 0s
feat: Add upgradeable GHO Token certora-steward #18: Pull request #400 synchronize by miguelmtzinf
May 24, 2024 06:50 9m 8s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 24, 2024 06:50 9m 8s
feat: Add upgradeable GHO Token certora-steward #17: Pull request #400 synchronize by miguelmtzinf
May 23, 2024 13:39 7m 12s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 23, 2024 13:39 7m 12s
Update GhoStewardV2.sol certora-steward #15: Pull request #402 synchronize by marczeller
May 21, 2024 15:39 1m 16s marczeller:patch-1
marczeller:patch-1
May 21, 2024 15:39 1m 16s
feat: Add upgradeable GHO Token certora-steward #13: Pull request #400 synchronize by miguelmtzinf
May 9, 2024 08:00 6m 5s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 9, 2024 08:00 6m 5s
feat: Add upgradeable GHO Token certora-steward #12: Pull request #400 opened by miguelmtzinf
May 8, 2024 16:29 4m 55s feat/upgradeable-gho-token
feat/upgradeable-gho-token
May 8, 2024 16:29 4m 55s
Add custom TokenPool contracts for GHO certora-steward #11: Pull request #399 synchronize by miguelmtzinf
May 6, 2024 17:22 5m 12s feat/gho-ccip
feat/gho-ccip
May 6, 2024 17:22 5m 12s
Add custom TokenPool contracts for GHO certora-steward #10: Pull request #399 opened by miguelmtzinf
April 19, 2024 10:14 8m 0s feat/gho-ccip
feat/gho-ccip
April 19, 2024 10:14 8m 0s
chore: testnet configs certora-steward #8: Pull request #397 opened by foodaka
March 27, 2024 17:31 5m 27s chore/additional-testnets
chore/additional-testnets
March 27, 2024 17:31 5m 27s
feat: Add Certora formal verification for GhoStewardV2 (#395) certora-steward #6: Commit f02f874 pushed by miguelmtzinf
March 20, 2024 10:16 4m 49s main
main
March 20, 2024 10:16 4m 49s