Skip to content

Actions: bgd-labs/aave-v3-origin

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: add more gas snapshots for relevant contracts (#92) certora #43: Commit 50a3206 pushed by sakulstra
December 16, 2024 10:28 18m 34s main
main
December 16, 2024 10:28 18m 34s
feat: add initial gas snapshots (#91) certora #42: Commit 3f70474 pushed by sakulstra
December 13, 2024 09:11 25m 53s main
main
December 13, 2024 09:11 25m 53s
docs: add mixbytes stata token v2 audit (#85) certora #41: Commit 9a6add7 pushed by sakulstra
December 10, 2024 08:14 13m 34s main
main
December 10, 2024 08:14 13m 34s
cleanup: remove obsolete remappings (#81) certora #40: Commit be37b99 pushed by sakulstra
November 27, 2024 13:50 15m 42s main
main
November 27, 2024 13:50 15m 42s
fix: update aave-cli to resolve eMode bug in json report (#79) certora #39: Commit 58e60a2 pushed by sakulstra
November 21, 2024 22:12 16m 46s main
main
November 21, 2024 22:12 16m 46s
fix: fixing fv failures after code update & upgrade ci (#76) (#77) certora #38: Commit 2edfb97 pushed by sakulstra
November 20, 2024 22:29 16m 6s main
main
November 20, 2024 22:29 16m 6s
Certora review certora #33: Pull request #40 by MichaelMorami
November 18, 2024 18:00 Failure Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 18:00 Failure
feat: remove unused fee claimer, fix ci, improve stata interface (#73) certora #32: Commit 809dd8a pushed by sakulstra
November 18, 2024 13:56 1h 50m 27s main
main
November 18, 2024 13:56 1h 50m 27s
Merge pull request #71 from bgd-labs/fix/mixbytes certora #31: Commit 45ae3c0 pushed by sakulstra
November 13, 2024 11:46 1h 51m 38s main
main
November 13, 2024 11:46 1h 51m 38s
fix: mixbytes statav2 review certora #30: Pull request #36 synchronize by sakulstra
November 13, 2024 08:06 1h 50m 58s fix/mixbytes
fix/mixbytes
November 13, 2024 08:06 1h 50m 58s
feat: v3.2 pdp (protocol data provider) upgrade (#64) certora #28: Commit 077c99e pushed by brotherlymite
November 1, 2024 05:09 1h 7m 44s main
main
November 1, 2024 05:09 1h 7m 44s
fix: mixbytes statav2 review certora #27: Pull request #36 synchronize by sakulstra
October 28, 2024 10:50 31m 5s fix/mixbytes
fix/mixbytes
October 28, 2024 10:50 31m 5s
fix: mixbytes statav2 review certora #26: Pull request #36 synchronize by kyzia551
October 24, 2024 11:42 37m 19s fix/mixbytes
fix/mixbytes
October 24, 2024 11:42 37m 19s
fix: update license on instances (#38) certora #25: Commit ec33f4f pushed by sakulstra
October 2, 2024 14:32 32m 26s main
main
October 2, 2024 14:32 32m 26s
fix: update license on instances certora #24: Pull request #38 opened by sakulstra
October 2, 2024 14:26 2m 15s chore/license
chore/license
October 2, 2024 14:26 2m 15s
docs: add audits, diffs and docs (#35) certora #23: Commit 7c6023e pushed by sakulstra
October 1, 2024 14:22 1h 31m 59s main
main
October 1, 2024 14:22 1h 31m 59s
feat: add l2Pool and configurator diffs certora #22: Pull request #35 synchronize by sakulstra
October 1, 2024 14:22 1h 35m 7s feat/diffs
feat/diffs
October 1, 2024 14:22 1h 35m 7s
feat: add l2Pool and configurator diffs certora #21: Pull request #35 synchronize by sakulstra
October 1, 2024 13:37 15m 41s feat/diffs
feat/diffs
October 1, 2024 13:37 15m 41s
feat: add l2Pool and configurator diffs certora #20: Pull request #35 synchronize by sakulstra
October 1, 2024 13:34 2m 48s feat/diffs
feat/diffs
October 1, 2024 13:34 2m 48s
feat: add l2Pool and configurator diffs certora #19: Pull request #35 synchronize by sakulstra
October 1, 2024 13:32 6m 24s feat/diffs
feat/diffs
October 1, 2024 13:32 6m 24s
feat: add l2Pool and configurator diffs certora #18: Pull request #35 synchronize by sakulstra
October 1, 2024 13:31 1m 43s feat/diffs
feat/diffs
October 1, 2024 13:31 1m 43s
feat: add l2Pool and configurator diffs certora #17: Pull request #35 synchronize by sakulstra
October 1, 2024 10:00 1h 2m 25s feat/diffs
feat/diffs
October 1, 2024 10:00 1h 2m 25s
feat: add l2Pool and configurator diffs certora #16: Pull request #35 synchronize by sakulstra
October 1, 2024 09:54 6m 27s feat/diffs
feat/diffs
October 1, 2024 09:54 6m 27s
feat: add l2Pool and configurator diffs certora #15: Pull request #35 synchronize by sakulstra
October 1, 2024 09:49 5m 33s feat/diffs
feat/diffs
October 1, 2024 09:49 5m 33s
feat: add l2Pool and configurator diffs certora #14: Pull request #35 synchronize by sakulstra
October 1, 2024 09:40 9m 3s feat/diffs
feat/diffs
October 1, 2024 09:40 9m 3s