Skip to content

Actions: aave/ccip

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: remove gap certora #33: Commit f879d82 pushed by CheyenneAtapour
July 19, 2024 21:39 6m 0s upgrade-remote-pool-fix
upgrade-remote-pool-fix
July 19, 2024 21:39 6m 0s
test: show init reverting after upgrade certora #32: Commit 7af804e pushed by CheyenneAtapour
July 19, 2024 21:32 5m 20s upgrade-remote-pool-fix
upgrade-remote-pool-fix
July 19, 2024 21:32 5m 20s
chore: remove unnecessary code certora #31: Commit 916bc48 pushed by CheyenneAtapour
July 18, 2024 20:45 6m 3s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 18, 2024 20:45 6m 3s
Merge remote-tracking branch 'origin/feat/remote-rate-limit' into fea… certora #30: Commit 157f833 pushed by CheyenneAtapour
July 18, 2024 20:38 2m 26s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 18, 2024 20:38 2m 26s
chore: cleanup certora #29: Commit 2866652 pushed by CheyenneAtapour
July 18, 2024 20:34 5m 14s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 18, 2024 20:34 5m 14s
test: separate v1 and v2 certora #28: Commit 95faba9 pushed by CheyenneAtapour
July 18, 2024 20:06 5m 6s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 18, 2024 20:06 5m 6s
fix: change memory layout of remote pool certora #27: Commit 59a6cb5 pushed by CheyenneAtapour
July 18, 2024 17:52 4m 52s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 18, 2024 17:52 4m 52s
test: show init reverting after upgrade certora #26: Commit 7af804e pushed by CheyenneAtapour
July 18, 2024 17:10 5m 43s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 18, 2024 17:10 5m 43s
ci: Fix ci certora #25: Commit 3ddfc85 pushed by miguelmtzinf
July 18, 2024 08:35 5m 58s feat/remote-rate-limit
feat/remote-rate-limit
July 18, 2024 08:35 5m 58s
ci: Fix ci certora #24: Commit 393649d pushed by miguelmtzinf
July 18, 2024 07:32 7m 16s feat/remote-rate-limit
feat/remote-rate-limit
July 18, 2024 07:32 7m 16s
diff: Update diff for UpgradeableBurnMintTokenPool certora #23: Commit 68e504b pushed by miguelmtzinf
July 18, 2024 07:23 5m 44s feat/remote-rate-limit
feat/remote-rate-limit
July 18, 2024 07:23 5m 44s
feat: reserve storage space for future upgrades certora #22: Commit 37aebc9 pushed by CheyenneAtapour
July 17, 2024 19:44 2m 16s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 17, 2024 19:44 2m 16s
test: add tests after upgrading certora #21: Commit b075172 pushed by CheyenneAtapour
July 17, 2024 19:39 4m 46s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 17, 2024 19:39 4m 46s
feat: upgrade remote pool certora #20: Commit 19829fd pushed by CheyenneAtapour
July 17, 2024 18:39 5m 15s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 17, 2024 18:39 5m 15s
chore: reorder state variables certora #19: Commit 790bcef pushed by CheyenneAtapour
July 17, 2024 17:37 5m 20s feat/upgrade-remote-pool
feat/upgrade-remote-pool
July 17, 2024 17:37 5m 20s
chore: reorder state variables certora #18: Commit 790bcef pushed by CheyenneAtapour
July 17, 2024 17:27 5m 26s feat/remote-rate-limit
feat/remote-rate-limit
July 17, 2024 17:27 5m 26s
fix: remove unnecessary modifer certora #17: Commit 1268d85 pushed by CheyenneAtapour
July 12, 2024 09:09 5m 43s feat/remote-rate-limit
feat/remote-rate-limit
July 12, 2024 09:09 5m 43s
chore: prettier certora #16: Commit a03bad2 pushed by CheyenneAtapour
July 11, 2024 20:49 7m 27s feat/remote-rate-limit
feat/remote-rate-limit
July 11, 2024 20:49 7m 27s
Add Certora security review report (#13) certora #15: Commit 55a0b59 pushed by miguelmtzinf
June 11, 2024 12:47 5m 41s ccip-gho
ccip-gho
June 11, 2024 12:47 5m 41s
Add Certora security review report certora #14: Commit 35ba0b1 pushed by miguelmtzinf
June 11, 2024 10:11 3m 15s docs/gho-token-pool
docs/gho-token-pool
June 11, 2024 10:11 3m 15s
feat: Add custom upgradeable TokenPool contracts (#3) certora #13: Commit d6cb9da pushed by miguelmtzinf
June 11, 2024 08:50 3m 0s ccip-gho
ccip-gho
June 11, 2024 08:50 3m 0s
ci: Remove unneeded ci actions (#12) certora #12: Commit aaa94e0 pushed by miguelmtzinf
June 11, 2024 08:42 3m 13s feat/gho-token-pool
feat/gho-token-pool
June 11, 2024 08:42 3m 13s
fix: Fix certora config file certora #11: Commit 1239308 pushed by miguelmtzinf
June 11, 2024 08:36 3m 35s ci/gho-token-pool
ci/gho-token-pool
June 11, 2024 08:36 3m 35s
Merge branch 'feat/gho-token-pool' into ci/gho-token-pool certora #10: Commit cdd2f89 pushed by miguelmtzinf
June 11, 2024 08:33 1m 47s ci/gho-token-pool
ci/gho-token-pool
June 11, 2024 08:33 1m 47s
feat: Add custom upgradeable TokenPool contracts certora #9: Pull request #3 synchronize by miguelmtzinf
June 11, 2024 08:28 4m 42s feat/gho-token-pool
feat/gho-token-pool
June 11, 2024 08:28 4m 42s