Skip to content

Actions: aave/ccip

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
127 workflow run results
127 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: update doc & diffs for storage gap certora #127: Commit a3ff6f5 pushed by DhairyaSethi
December 23, 2024 20:11 6m 42s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 23, 2024 20:11 6m 42s
new: introduce __gap on UpgradeableTokenPool certora #126: Commit f06ecdb pushed by DhairyaSethi
December 23, 2024 20:08 5m 59s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 23, 2024 20:08 5m 59s
chore: cleanup test certora #125: Commit 5cff384 pushed by DhairyaSethi
December 23, 2024 20:01 8m 36s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 23, 2024 20:01 8m 36s
doc: update comments certora #124: Commit 4e0e90f pushed by DhairyaSethi
December 23, 2024 18:44 10m 47s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 23, 2024 18:44 10m 47s
test: migrateLiquidity on remote pool certora #123: Commit 4fb7885 pushed by DhairyaSethi
December 23, 2024 18:33 7m 31s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 23, 2024 18:33 7m 31s
test: rm unneeded mockCall certora #122: Commit ae55d15 pushed by DhairyaSethi
December 23, 2024 18:11 4m 36s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 23, 2024 18:11 4m 36s
test: revert InsufficientLiquidity on transferLiquidity certora #121: Commit 8a716bd pushed by DhairyaSethi
December 23, 2024 18:07 8m 18s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 23, 2024 18:07 8m 18s
Add Certora security review report (#13) certora #120: Commit 55a0b59 pushed by miguelmtzinf
December 23, 2024 12:25 9m 28s v1.4.0+gho.1
v1.4.0+gho.1
December 23, 2024 12:25 9m 28s
feat: Add rate limit admin to remote UpgradeableBurnMintTokenPool (#14) certora #119: Commit d27d468 pushed by miguelmtzinf
December 23, 2024 12:25 8m 33s v1.4.0+gho.2
v1.4.0+gho.2
December 23, 2024 12:25 8m 33s
feat: Add compatibility for CCIP 1.5 Migration (#18) certora #118: Commit 46a4bdc pushed by miguelmtzinf
December 23, 2024 12:25 8m 36s v1.4.0+gho.3
v1.4.0+gho.3
December 23, 2024 12:25 8m 36s
feat: Add compatibility for CCIP 1.5 Migration (#18) certora #117: Commit 46a4bdc pushed by miguelmtzinf
December 23, 2024 12:08 2m 15s ccip-gho-1.4
ccip-gho-1.4
December 23, 2024 12:08 2m 15s
feat: Add compatibility for CCIP 1.5 Migration (#18) certora #116: Commit 46a4bdc pushed by miguelmtzinf
December 23, 2024 12:08 2m 52s ccip-gho
ccip-gho
December 23, 2024 12:08 2m 52s
feat: Add compatibility for CCIP 1.5 Migration (#18) certora #115: Commit 46a4bdc pushed by miguelmtzinf
December 23, 2024 12:03 6m 35s ccip-gho-1.4
ccip-gho-1.4
December 23, 2024 12:03 6m 35s
chore: doc on burnMint certora #114: Commit f684d95 pushed by DhairyaSethi
December 23, 2024 10:15 6m 19s feat/withdraw-liq
feat/withdraw-liq
December 23, 2024 10:15 6m 19s
Update contracts/src/v0.8/ccip/pools/GHO/UpgradeableBurnMintTokenPool… certora #113: Commit 92d92cb pushed by DhairyaSethi
December 23, 2024 09:58 7m 54s feat/withdraw-liq
feat/withdraw-liq
December 23, 2024 09:58 7m 54s
Update contracts/src/v0.8/ccip/pools/GHO/UpgradeableBurnMintTokenPool… certora #112: Commit 11d4412 pushed by DhairyaSethi
December 23, 2024 09:58 8m 2s feat/withdraw-liq
feat/withdraw-liq
December 23, 2024 09:58 8m 2s
feat: directMint & directBurn to migrate facilitators certora #111: Commit a2e92d0 pushed by DhairyaSethi
December 23, 2024 06:01 5m 26s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 23, 2024 06:01 5m 26s
doc: upd for directBurn certora #110: Commit e8bf9ad pushed by DhairyaSethi
December 23, 2024 05:59 7m 44s feat/withdraw-liq
feat/withdraw-liq
December 23, 2024 05:59 7m 44s
chore: mv burnLiquidity directBurn certora #109: Commit 2c056ff pushed by DhairyaSethi
December 23, 2024 05:46 8m 19s feat/withdraw-liq
feat/withdraw-liq
December 23, 2024 05:46 8m 19s
chore: reorder imports to minmize diff certora #108: Commit 1881f20 pushed by DhairyaSethi
December 19, 2024 13:51 7m 21s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 19, 2024 13:51 7m 21s
chore: mv withdrawLiquidity burnLiquidity certora #107: Commit 0c15ea8 pushed by DhairyaSethi
December 19, 2024 12:47 10m 15s feat/withdraw-liq
feat/withdraw-liq
December 19, 2024 12:47 10m 15s
feat: mintAndTransferLiquidity certora #106: Commit 3667707 pushed by DhairyaSethi
December 19, 2024 12:33 9m 37s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 19, 2024 12:33 9m 37s
feat: setCurrentBridgedAmount, revert bridgeAmount changes on {transf… certora #105: Commit 92c9582 pushed by DhairyaSethi
December 19, 2024 12:16 11m 26s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 19, 2024 12:16 11m 26s
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