Skip to content

Actions: aave/ccip

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: Add Certora Audit Report for CCIP 1.5.1 (#29) certora #140: Commit d5c6ced pushed by miguelmtzinf
February 7, 2025 10:51 10m 22s v1.5.1+gho.1
v1.5.1+gho.1
February 7, 2025 10:51 10m 22s
docs: Add Certora Audit Report for CCIP 1.5.1 (#29) certora #139: Commit d5c6ced pushed by miguelmtzinf
January 6, 2025 18:27 2m 24s ccip-gho
ccip-gho
January 6, 2025 18:27 2m 24s
chore: rename certora #138: Commit e7b3511 pushed by DhairyaSethi
January 6, 2025 18:22 7m 2s feat/audit
feat/audit
January 6, 2025 18:22 7m 2s
feat: certora audit 1.5.1 certora #137: Commit 3ac56d4 pushed by DhairyaSethi
January 6, 2025 14:09 10m 57s feat/audit
feat/audit
January 6, 2025 14:09 10m 57s
feat: Update Certora Formal Verification Tests certora #136: Commit 8998603 pushed by DhairyaSethi
January 2, 2025 18:55 7m 23s ccip-gho
ccip-gho
January 2, 2025 18:55 7m 23s
feat: Add DirectBurn function on RemotePool (#21) certora #135: Commit c66ad1e pushed by miguelmtzinf
January 2, 2025 16:35 6m 35s v1.4.0+gho.4
v1.4.0+gho.4
January 2, 2025 16:35 6m 35s
feat: Add token pool for GHO based on CCIP 1.5.1 (#20) certora #134: Commit 49caffa pushed by miguelmtzinf
January 2, 2025 16:30 5m 41s ccip-gho
ccip-gho
January 2, 2025 16:30 5m 41s
feat: Add DirectBurn function on RemotePool (#21) certora #133: Commit c66ad1e pushed by miguelmtzinf
January 2, 2025 16:29 6m 24s ccip-gho-1.4
ccip-gho-1.4
January 2, 2025 16:29 6m 24s
doc: fix base diff doc certora #132: Commit dcb63a7 pushed by DhairyaSethi
January 2, 2025 12:50 10m 49s feat/1_5_1_token_pool
feat/1_5_1_token_pool
January 2, 2025 12:50 10m 49s
feat: namespaced storage certora #131: Commit 14b10a7 pushed by DhairyaSethi
January 1, 2025 09:43 11m 23s feat/namespace-storage
feat/namespace-storage
January 1, 2025 09:43 11m 23s
doc: upd diff and doc for __gap certora #130: Commit 59c3763 pushed by DhairyaSethi
December 30, 2024 11:47 7m 48s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 30, 2024 11:47 7m 48s
chore: upd directMint test certora #129: Commit ca12f63 pushed by DhairyaSethi
December 24, 2024 09:18 7m 6s feat/1_5_1_token_pool
feat/1_5_1_token_pool
December 24, 2024 09:18 7m 6s
doc: update directBurn doc certora #128: Commit ca73ec8 pushed by DhairyaSethi
December 24, 2024 09:11 7m 2s feat/withdraw-liq
feat/withdraw-liq
December 24, 2024 09:11 7m 2s
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