Skip to content

Actions: aave/ccip

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: expand and fix typo certora #104: Commit 9a2bcd4 pushed by DhairyaSethi
December 13, 2024 13:37 6m 17s feat/withdraw-liq
feat/withdraw-liq
December 13, 2024 13:37 6m 17s
test: more verbose certora #103: Commit 565631d pushed by DhairyaSethi
December 11, 2024 20:02 6m 17s feat/withdraw-liq
feat/withdraw-liq
December 11, 2024 20:02 6m 17s
doc: upd transferLiquidity for burnMint certora #102: Commit 8fea66b pushed by DhairyaSethi
December 11, 2024 19:54 7m 40s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 11, 2024 19:54 7m 40s
feat: withdraw liquidity on burnMint certora #101: Commit 38d2861 pushed by DhairyaSethi
December 11, 2024 19:10 5m 50s feat/withdraw-liq
feat/withdraw-liq
December 11, 2024 19:10 5m 50s
feat: add transferLiquidity on burnMintTokenPool certora #100: Commit 5f84e6e pushed by DhairyaSethi
December 11, 2024 18:29 5m 40s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 11, 2024 18:29 5m 40s
feat: upd currentBridged on liquidity transfers certora #99: Commit ff1a97a pushed by DhairyaSethi
December 11, 2024 17:41 11m 38s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 11, 2024 17:41 11m 38s
doc: rm unneeded remanant certora #98: Commit b23faa7 pushed by DhairyaSethi
December 6, 2024 13:01 7m 52s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 6, 2024 13:01 7m 52s
feat: certora formal verification certora #97: Commit fefa18b pushed by DhairyaSethi
December 5, 2024 15:07 10m 29s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 5, 2024 15:07 10m 29s
chore: optimize comparison certora #96: Commit cde01d7 pushed by DhairyaSethi
November 20, 2024 15:58 10m 17s feat/1_5_token_pool
feat/1_5_token_pool
November 20, 2024 15:58 10m 17s
chore: fix import order certora #95: Commit 9b2fa3c pushed by DhairyaSethi
November 20, 2024 15:49 1m 48s feat/1_5_token_pool
feat/1_5_token_pool
November 20, 2024 15:49 1m 48s
feat: Add compatibility for CCIP 1.5 Migration (#18) certora #94: Commit 46a4bdc pushed by miguelmtzinf
November 7, 2024 14:01 5m 31s ccip-gho
ccip-gho
November 7, 2024 14:01 5m 31s
fix: docs certora #93: Commit bc0561e pushed by DhairyaSethi
November 5, 2024 11:46 9m 9s fix/legacy-on-ramp
fix/legacy-on-ramp
November 5, 2024 11:46 9m 9s
fix: certotra syntax certora #92: Commit 93b0f93 pushed by DhairyaSethi
November 4, 2024 06:46 9m 42s feat/1_5_token_pool
feat/1_5_token_pool
November 4, 2024 06:46 9m 42s
fix: mock new isCursed func sig certora #91: Commit 4cbf33a pushed by DhairyaSethi
November 2, 2024 07:16 2m 52s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 07:16 2m 52s
fix: ccip spec tuple certora #90: Commit 1d0afe9 pushed by DhairyaSethi
November 2, 2024 07:12 5m 55s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 07:12 5m 55s
fix: certora use solc 8.20 to compile oz 5.2 certora #89: Commit ec766c2 pushed by DhairyaSethi
November 2, 2024 07:04 5m 49s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 07:04 5m 49s
fix: gho-core remapping certora #88: Commit 69b6890 pushed by DhairyaSethi
November 2, 2024 06:57 1m 9s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 06:57 1m 9s
fix: ccip spec correct function args certora #87: Commit fade2e6 pushed by DhairyaSethi
November 2, 2024 06:56 1m 36s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 06:56 1m 36s
feat: migrate certora formal verification conf certora #86: Commit cbb5efe pushed by DhairyaSethi
November 2, 2024 06:53 1m 28s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 06:53 1m 28s
fix: token pool storage layout certora #85: Commit d7a845d pushed by DhairyaSethi
November 1, 2024 19:23 1m 51s feat/1_5_token_pool
feat/1_5_token_pool
November 1, 2024 19:23 1m 51s
test: dynamically fetch dest gas amt certora #84: Commit e0bf3ea pushed by DhairyaSethi
October 31, 2024 00:03 6m 41s fix/legacy-on-ramp
fix/legacy-on-ramp
October 31, 2024 00:03 6m 41s
chore: cleanup imports certora #83: Commit 758cbc3 pushed by DhairyaSethi
October 30, 2024 23:50 6m 6s fix/legacy-on-ramp
fix/legacy-on-ramp
October 30, 2024 23:50 6m 6s
test: dynamically fetch dest gas amt certora #82: Commit 6044944 pushed by DhairyaSethi
October 30, 2024 23:31 6m 5s fix/legacy-on-ramp
fix/legacy-on-ramp
October 30, 2024 23:31 6m 5s
chore: cleanup imports certora #81: Commit 758cbc3 pushed by DhairyaSethi
October 28, 2024 14:05 5m 3s fix/legacy-on-ramp
fix/legacy-on-ramp
October 28, 2024 14:05 5m 3s
test: improve off ramp tests certora #80: Commit 24b2547 pushed by DhairyaSethi
October 28, 2024 14:01 8m 42s fix/legacy-on-ramp
fix/legacy-on-ramp
October 28, 2024 14:01 8m 42s