Skip to content

Actions: bgd-labs/aave-v3-origin

Actions

certora-stata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-stata.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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