Skip to content

Actions: aave/ccip

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,862 workflow runs
1,862 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add compatibility for CCIP 1.5 Migration (#18) solidity #94: Commit 46a4bdc pushed by miguelmtzinf
November 7, 2024 14:01 6m 26s ccip-gho
ccip-gho
November 7, 2024 14:01 6m 26s
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: docs solidity #93: Commit bc0561e pushed by DhairyaSethi
November 5, 2024 11:46 5m 24s fix/legacy-on-ramp
fix/legacy-on-ramp
November 5, 2024 11:46 5m 24s
fix: certotra syntax solidity #92: Commit 93b0f93 pushed by DhairyaSethi
November 4, 2024 06:46 9m 15s feat/1_5_token_pool
feat/1_5_token_pool
November 4, 2024 06:46 9m 15s
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 solidity #91: Commit 4cbf33a pushed by DhairyaSethi
November 2, 2024 07:16 9m 15s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 07:16 9m 15s
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 solidity #90: Commit 1d0afe9 pushed by DhairyaSethi
November 2, 2024 07:12 7m 13s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 07:12 7m 13s
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: certora use solc 8.20 to compile oz 5.2 solidity #89: Commit ec766c2 pushed by DhairyaSethi
November 2, 2024 07:04 11m 0s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 07:04 11m 0s
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: gho-core remapping solidity #88: Commit 69b6890 pushed by DhairyaSethi
November 2, 2024 06:57 8m 20s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 06:57 8m 20s
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
fix: ccip spec correct function args solidity #87: Commit fade2e6 pushed by DhairyaSethi
November 2, 2024 06:56 56s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 06:56 56s
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
feat: migrate certora formal verification conf solidity #86: Commit cbb5efe pushed by DhairyaSethi
November 2, 2024 06:53 1m 2s feat/1_5_token_pool
feat/1_5_token_pool
November 2, 2024 06:53 1m 2s
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
fix: token pool storage layout solidity #85: Commit d7a845d pushed by DhairyaSethi
November 1, 2024 19:23 7m 47s feat/1_5_token_pool
feat/1_5_token_pool
November 1, 2024 19:23 7m 47s
test: dynamically fetch dest gas amt solidity #84: Commit e0bf3ea pushed by DhairyaSethi
October 31, 2024 00:03 5m 23s fix/legacy-on-ramp
fix/legacy-on-ramp
October 31, 2024 00:03 5m 23s
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
chore: cleanup imports solidity #83: Commit 758cbc3 pushed by DhairyaSethi
October 30, 2024 23:50 6m 4s fix/legacy-on-ramp
fix/legacy-on-ramp
October 30, 2024 23:50 6m 4s
test: dynamically fetch dest gas amt solidity #82: Commit 6044944 pushed by DhairyaSethi
October 30, 2024 23:31 5m 31s fix/legacy-on-ramp
fix/legacy-on-ramp
October 30, 2024 23:31 5m 31s