Skip to content

Actions: aave/ccip

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: decouple proxy admin owner certora #147: Commit bbf72df pushed by DhairyaSethi
April 28, 2025 12:15 7m 53s feat/deploy-script
feat/deploy-script
April 28, 2025 12:15 7m 53s
chore: nit certora #146: Commit f0cffe2 pushed by DhairyaSethi
April 24, 2025 18:31 7m 31s feat/deploy-script
feat/deploy-script
April 24, 2025 18:31 7m 31s
chore: add deployment static validations certora #145: Commit b4c0cfe pushed by DhairyaSethi
April 24, 2025 18:15 6m 23s feat/deploy-script
feat/deploy-script
April 24, 2025 18:15 6m 23s
feat: upgrade and use local oz certora #144: Commit 9d110b0 pushed by DhairyaSethi
April 24, 2025 18:01 8m 7s feat/deploy-script
feat/deploy-script
April 24, 2025 18:01 8m 7s
chore: cleanup certora #143: Commit 6a657f3 pushed by DhairyaSethi
April 24, 2025 14:50 7m 29s feat/deploy-script
feat/deploy-script
April 24, 2025 14:50 7m 29s
feat: use json input certora #142: Commit 019dc9d pushed by DhairyaSethi
April 24, 2025 14:33 6m 49s feat/deploy-script
feat/deploy-script
April 24, 2025 14:33 6m 49s
feat: deployment script certora #141: Commit f827a6d pushed by DhairyaSethi
April 24, 2025 13:55 9m 41s feat/deploy-script
feat/deploy-script
April 24, 2025 13:55 9m 41s
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