Skip to content

Actions: aave-dao/aave-v3-origin

Actions

certora-stata

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: update solidity utils lib with linea updates certora-stata #80: Pull request #86 opened by sendra
December 9, 2024 11:59 2s bgd-labs:feat/solidity-utils-update
bgd-labs:feat/solidity-utils-update
December 9, 2024 11:59 2s
docs: add stata audit certora-stata #79: Pull request #85 opened by sakulstra
December 9, 2024 11:44 23m 28s docs/add-stata-audit
docs/add-stata-audit
December 9, 2024 11:44 23m 28s
feat: Collector revision-6 Upgrade. (#82) certora-stata #78: Pull request #84 synchronize by brotherlymite
December 5, 2024 14:19 26m 19s kptk/new-collector
kptk/new-collector
December 5, 2024 14:19 26m 19s
feat: Collector revision-6 Upgrade. (#82) certora-stata #77: Pull request #84 synchronize by brotherlymite
December 5, 2024 14:12 21m 0s kptk/new-collector
kptk/new-collector
December 5, 2024 14:12 21m 0s
feat: Collector revision-6 Upgrade. (#82) certora-stata #76: Pull request #84 synchronize by brotherlymite
December 5, 2024 14:07 26m 42s kptk/new-collector
kptk/new-collector
December 5, 2024 14:07 26m 42s
feat: Collector revision-6 Upgrade. (#82) certora-stata #75: Pull request #84 synchronize by sakulstra
December 5, 2024 10:53 26m 33s kptk/new-collector
kptk/new-collector
December 5, 2024 10:53 26m 33s
feat: Collector revision-6 Upgrade. (#82) certora-stata #74: Pull request #84 opened by sakulstra
December 5, 2024 10:35 17m 52s kptk/new-collector
kptk/new-collector
December 5, 2024 10:35 17m 52s
cleanup: remove obsolete remappings (#81) certora-stata #70: Commit be37b99 pushed by sakulstra
November 27, 2024 10:56 17m 29s main
main
November 27, 2024 10:56 17m 29s
cleanup: remove obsolete remappings certora-stata #69: Pull request #81 opened by sakulstra
November 27, 2024 08:48 2s bgd-labs:cleanup/remappings
bgd-labs:cleanup/remappings
November 27, 2024 08:48 2s
fix: update aave-cli to resolve eMode bug in json report (#79) certora-stata #68: Commit 58e60a2 pushed by sakulstra
November 21, 2024 15:11 27m 28s main
main
November 21, 2024 15:11 27m 28s
fix: update aave-cli to resolve eMode bug in json report certora-stata #67: Pull request #79 opened by sakulstra
November 21, 2024 14:47 3s bgd-labs:fix/update-cli
bgd-labs:fix/update-cli
November 21, 2024 14:47 3s
fix: fixing fv failures after code update & upgrade ci (#76) (#77) certora-stata #66: Commit 2edfb97 pushed by sakulstra
November 20, 2024 14:49 16m 31s main
main
November 20, 2024 14:49 16m 31s
fix: fixing fv failures after code update & upgrade ci (#76) certora-stata #65: Pull request #77 synchronize by sakulstra
November 20, 2024 14:12 25m 0s certora-patch
certora-patch
November 20, 2024 14:12 25m 0s
feat: update to use new proxy & change stata naming (#75) certora-stata #64: Commit 665b480 pushed by sakulstra
November 19, 2024 20:28 2m 44s main
main
November 19, 2024 20:28 2m 44s
feat: update to use new proxy certora-stata #63: Pull request #75 synchronize by sakulstra
November 19, 2024 09:32 3s bgd-labs:feat/transparent-upgrade
bgd-labs:feat/transparent-upgrade
November 19, 2024 09:32 3s
feat: update to use new proxy certora-stata #62: Pull request #75 synchronize by sakulstra
November 19, 2024 09:00 2s bgd-labs:feat/transparent-upgrade
bgd-labs:feat/transparent-upgrade
November 19, 2024 09:00 2s
fix: fixing fv failures after code update & upgrade ci (#76) certora-stata #61: Pull request #77 synchronize by sakulstra
November 19, 2024 08:39 21m 2s certora-patch
certora-patch
November 19, 2024 08:39 21m 2s
fix: fixing fv failures after code update & upgrade ci (#76) certora-stata #60: Pull request #77 synchronize by sakulstra
November 19, 2024 08:31 2m 16s certora-patch
certora-patch
November 19, 2024 08:31 2m 16s
fix: fixing fv failures after code update & upgrade ci (#76) certora-stata #59: Pull request #77 opened by sakulstra
November 19, 2024 07:40 2m 52s certora-patch
certora-patch
November 19, 2024 07:40 2m 52s
Certora review certora-stata #58: Pull request #70 synchronize by MichaelMorami
November 18, 2024 23:26 3s Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 23:26 3s
Certora review certora-stata #57: Pull request #70 synchronize by MichaelMorami
November 18, 2024 19:14 2s Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 19:14 2s
Certora review certora-stata #56: Pull request #70 synchronize by MichaelMorami
November 18, 2024 18:07 2s Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 18:07 2s
Certora review certora-stata #55: Pull request #70 synchronize by MichaelMorami
November 18, 2024 18:02 3s Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 18:02 3s
Certora review certora-stata #54: Pull request #70 synchronize by MichaelMorami
November 18, 2024 18:00 3s Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 18:00 3s
feat: update to use new proxy certora-stata #53: Pull request #75 synchronize by sakulstra
November 18, 2024 15:59 4s bgd-labs:feat/transparent-upgrade
bgd-labs:feat/transparent-upgrade
November 18, 2024 15:59 4s