Skip to content

Actions: aave-dao/aave-v3-origin

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-basic.yml
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: update to use new proxy certora #33: Pull request #75 opened by sakulstra
November 18, 2024 13:59 4s bgd-labs:feat/transparent-upgrade
bgd-labs:feat/transparent-upgrade
November 18, 2024 13:59 4s
feat: remove unused fee claimer, fix ci, improve stata interface (#73) certora #32: Commit 809dd8a pushed by sakulstra
November 18, 2024 13:55 1h 46m 29s main
main
November 18, 2024 13:55 1h 46m 29s
feat: cleanup certora #31: Pull request #73 synchronize by sakulstra
November 15, 2024 09:19 2s bgd-labs:feat/cleanup
bgd-labs:feat/cleanup
November 15, 2024 09:19 2s
feat: cleanup certora #30: Pull request #73 synchronize by sakulstra
November 15, 2024 09:06 5s bgd-labs:feat/cleanup
bgd-labs:feat/cleanup
November 15, 2024 09:06 5s
feat: cleanup certora #29: Pull request #73 synchronize by sakulstra
November 14, 2024 17:29 3s bgd-labs:feat/cleanup
bgd-labs:feat/cleanup
November 14, 2024 17:29 3s
fix: use PAT for all steps on the comment action (#74) certora #28: Commit 076108f pushed by sakulstra
November 14, 2024 17:26 1h 56m 1s main
main
November 14, 2024 17:26 1h 56m 1s
fix: use token for all actions certora #27: Pull request #74 opened by sakulstra
November 14, 2024 17:25 4s bgd-labs:fix/ci
bgd-labs:fix/ci
November 14, 2024 17:25 4s
feat: cleanup certora #26: Pull request #73 synchronize by sakulstra
November 14, 2024 16:42 2s bgd-labs:feat/cleanup
bgd-labs:feat/cleanup
November 14, 2024 16:42 2s
feat: cleanup certora #25: Pull request #73 opened by sakulstra
November 14, 2024 16:36 6s bgd-labs:feat/cleanup
bgd-labs:feat/cleanup
November 14, 2024 16:36 6s
ci: execute gas reports and coverage on each ci run (#72) certora #24: Commit 06891cc pushed by sakulstra
November 14, 2024 16:34 37m 19s main
main
November 14, 2024 16:34 37m 19s
ci: execute gas reports and coverage on each ci run certora #23: Pull request #72 opened by sakulstra
November 14, 2024 14:04 6s bgd-labs:cov/ci
bgd-labs:cov/ci
November 14, 2024 14:04 6s
Merge pull request #71 from bgd-labs/fix/mixbytes certora #22: Commit 45ae3c0 pushed by sakulstra
November 13, 2024 11:10 35m 52s main
main
November 13, 2024 11:10 35m 52s
fix: mixbytes stata patches certora #21: Pull request #71 opened by sakulstra
November 13, 2024 08:07 4s bgd-labs:fix/mixbytes
bgd-labs:fix/mixbytes
November 13, 2024 08:07 4s
Certora review certora #20: Pull request #70 opened by nisnislevi
November 8, 2024 07:43 5s Certora:certora-squashed
Certora:certora-squashed
November 8, 2024 07:43 5s
feat: v3.2 pdp (protocol data provider) upgrade (#64) certora #19: Commit 077c99e pushed by sakulstra
October 22, 2024 14:32 57m 1s main
main
October 22, 2024 14:32 57m 1s
Merge pull request #68 from bgd-labs/feat/upgrade-tooling certora #18: Commit 18c4992 pushed by kyzia551
October 21, 2024 08:44 32m 3s main
main
October 21, 2024 08:44 32m 3s
chore: upgrade tooling certora #17: Pull request #68 synchronize by sakulstra
October 21, 2024 08:30 3s bgd-labs:feat/upgrade-tooling
bgd-labs:feat/upgrade-tooling
October 21, 2024 08:30 3s
chore: upgrade tooling certora #16: Pull request #68 opened by sakulstra
October 21, 2024 08:28 5s bgd-labs:feat/upgrade-tooling
bgd-labs:feat/upgrade-tooling
October 21, 2024 08:28 5s
Migrate to Paraswap V6 certora #15: Pull request #67 synchronize by miguelmtzinf
October 16, 2024 11:01 4s aave:feat/paraswap-v6
aave:feat/paraswap-v6
October 16, 2024 11:01 4s
Migrate to Paraswap V6 certora #14: Pull request #67 synchronize by miguelmtzinf
October 16, 2024 11:01 5s aave:feat/paraswap-v6
aave:feat/paraswap-v6
October 16, 2024 11:01 5s
Migrate to Paraswap V6 certora #13: Pull request #67 opened by miguelmtzinf
October 16, 2024 10:28 5s aave:feat/paraswap-v6
aave:feat/paraswap-v6
October 16, 2024 10:28 5s
feat: v3.2 pdp (protocol data provider) upgrade certora #10: Pull request #64 synchronize by sakulstra
October 10, 2024 11:47 4s bgd-labs:feat/mock-stable-debt
bgd-labs:feat/mock-stable-debt
October 10, 2024 11:47 4s
feat: v3.2 pdp (protocol data provider) upgrade certora #9: Pull request #64 synchronize by sakulstra
October 9, 2024 09:42 4s bgd-labs:feat/mock-stable-debt
bgd-labs:feat/mock-stable-debt
October 9, 2024 09:42 4s
feat: v3.2 pdp (protocol data provider) upgrade certora #8: Pull request #64 opened by sakulstra
October 9, 2024 08:36 5s bgd-labs:feat/mock-stable-debt
bgd-labs:feat/mock-stable-debt
October 9, 2024 08:36 5s
chore: fix lint certora #7: Pull request #63 opened by brotherlymite
October 8, 2024 13:40 4s bgd-labs:chore/lint
bgd-labs:chore/lint
October 8, 2024 13:40 4s