Skip to content

Actions: bgd-labs/aave-v3-origin

Actions

certora-basic

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: mixbytes statav2 review certora-basic #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-basic #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-basic #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-basic #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-basic #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-basic #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-basic #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-basic #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-basic #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-basic #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-basic #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-basic #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-basic #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
feat: add l2Pool and configurator diffs certora-basic #13: Pull request #35 synchronize by sakulstra
October 1, 2024 09:30 9m 50s feat/diffs
feat/diffs
October 1, 2024 09:30 9m 50s
feat: add l2Pool and configurator diffs certora-basic #12: Pull request #35 synchronize by sakulstra
October 1, 2024 09:30 12s feat/diffs
feat/diffs
October 1, 2024 09:30 12s
feat: add l2Pool and configurator diffs certora-basic #11: Pull request #35 synchronize by sakulstra
October 1, 2024 09:30 30s feat/diffs
feat/diffs
October 1, 2024 09:30 30s
fix: certora ci fix certora-basic #10: Commit bda1fc5 pushed by sakulstra
October 1, 2024 06:59 27m 23s main
main
October 1, 2024 06:59 27m 23s
fix: mixbytes statav2 review certora-basic #8: Pull request #36 opened by sakulstra
September 30, 2024 21:13 1h 2m 39s fix/mixbytes
fix/mixbytes
September 30, 2024 21:13 1h 2m 39s
feat: add l2Pool and configurator diffs certora-basic #7: Pull request #35 synchronize by sakulstra
September 30, 2024 20:59 1h 6m 7s feat/diffs
feat/diffs
September 30, 2024 20:59 1h 6m 7s
feat: add l2Pool and configurator diffs certora-basic #6: Pull request #35 synchronize by sakulstra
September 30, 2024 13:56 1h 4m 37s feat/diffs
feat/diffs
September 30, 2024 13:56 1h 4m 37s
feat: add l2Pool and configurator diffs certora-basic #5: Pull request #35 synchronize by sakulstra
September 30, 2024 13:54 2m 43s feat/diffs
feat/diffs
September 30, 2024 13:54 2m 43s
feat: add l2Pool and configurator diffs certora-basic #4: Pull request #35 synchronize by sakulstra
September 30, 2024 10:14 1h 5m 7s feat/diffs
feat/diffs
September 30, 2024 10:14 1h 5m 7s
feat: add l2Pool and configurator diffs certora-basic #3: Pull request #35 opened by sakulstra
September 30, 2024 09:52 10m 46s feat/diffs
feat/diffs
September 30, 2024 09:52 10m 46s
test: adjust certora test suite to new directory structure (#30) certora-basic #2: Commit 712f1c3 pushed by sakulstra
September 30, 2024 08:31 29m 43s main
main
September 30, 2024 08:31 29m 43s
for PR (#30) certora-basic #1: Commit f78b948 pushed by sakulstra
September 30, 2024 08:29 3m 1s main
main
September 30, 2024 08:29 3m 1s