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 solidity utils lib with linea updates certora #61: 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 #60: Pull request #85 opened by sakulstra
December 9, 2024 11:44 30m 18s docs/add-stata-audit
docs/add-stata-audit
December 9, 2024 11:44 30m 18s
feat: Collector revision-6 Upgrade. (#82) certora #59: Pull request #84 synchronize by brotherlymite
December 5, 2024 14:19 20m 7s kptk/new-collector
kptk/new-collector
December 5, 2024 14:19 20m 7s
feat: Collector revision-6 Upgrade. (#82) certora #58: Pull request #84 synchronize by brotherlymite
December 5, 2024 14:12 7m 42s kptk/new-collector
kptk/new-collector
December 5, 2024 14:12 7m 42s
feat: Collector revision-6 Upgrade. (#82) certora #57: Pull request #84 synchronize by brotherlymite
December 5, 2024 14:07 5m 7s kptk/new-collector
kptk/new-collector
December 5, 2024 14:07 5m 7s
feat: Collector revision-6 Upgrade. (#82) certora #56: Pull request #84 synchronize by sakulstra
December 5, 2024 10:53 20m 11s kptk/new-collector
kptk/new-collector
December 5, 2024 10:53 20m 11s
feat: Collector revision-6 Upgrade. (#82) certora #55: Pull request #84 opened by sakulstra
December 5, 2024 10:35 16m 13s kptk/new-collector
kptk/new-collector
December 5, 2024 10:35 16m 13s
cleanup: remove obsolete remappings (#81) certora #51: Commit be37b99 pushed by sakulstra
November 27, 2024 10:56 16m 18s main
main
November 27, 2024 10:56 16m 18s
cleanup: remove obsolete remappings certora #50: Pull request #81 opened by sakulstra
November 27, 2024 08:48 3s bgd-labs:cleanup/remappings
bgd-labs:cleanup/remappings
November 27, 2024 08:48 3s
fix: update aave-cli to resolve eMode bug in json report (#79) certora #49: Commit 58e60a2 pushed by sakulstra
November 21, 2024 15:11 18m 13s main
main
November 21, 2024 15:11 18m 13s
fix: update aave-cli to resolve eMode bug in json report certora #48: Pull request #79 opened by sakulstra
November 21, 2024 14:47 4s bgd-labs:fix/update-cli
bgd-labs:fix/update-cli
November 21, 2024 14:47 4s
fix: fixing fv failures after code update & upgrade ci (#76) (#77) certora #47: Commit 2edfb97 pushed by sakulstra
November 20, 2024 14:49 14m 10s main
main
November 20, 2024 14:49 14m 10s
fix: fixing fv failures after code update & upgrade ci (#76) certora #46: Pull request #77 synchronize by sakulstra
November 20, 2024 14:12 20m 9s certora-patch
certora-patch
November 20, 2024 14:12 20m 9s
feat: update to use new proxy & change stata naming (#75) certora #45: Commit 665b480 pushed by sakulstra
November 19, 2024 20:28 32m 26s main
main
November 19, 2024 20:28 32m 26s
feat: update to use new proxy certora #44: 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 #43: Pull request #75 synchronize by sakulstra
November 19, 2024 09:00 3s bgd-labs:feat/transparent-upgrade
bgd-labs:feat/transparent-upgrade
November 19, 2024 09:00 3s
fix: fixing fv failures after code update & upgrade ci (#76) certora #42: Pull request #77 synchronize by sakulstra
November 19, 2024 08:39 1h 55m 21s certora-patch
certora-patch
November 19, 2024 08:39 1h 55m 21s
fix: fixing fv failures after code update & upgrade ci (#76) certora #41: Pull request #77 synchronize by sakulstra
November 19, 2024 08:31 8m 30s certora-patch
certora-patch
November 19, 2024 08:31 8m 30s
fix: fixing fv failures after code update & upgrade ci (#76) certora #40: Pull request #77 opened by sakulstra
November 19, 2024 07:40 50m 38s certora-patch
certora-patch
November 19, 2024 07:40 50m 38s
Certora review certora #39: 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 #38: Pull request #70 synchronize by MichaelMorami
November 18, 2024 19:14 4s Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 19:14 4s
Certora review certora #37: Pull request #70 synchronize by MichaelMorami
November 18, 2024 18:07 3s Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 18:07 3s
Certora review certora #36: Pull request #70 synchronize by MichaelMorami
November 18, 2024 18:02 4s Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 18:02 4s
Certora review certora #35: Pull request #70 by MichaelMorami
November 18, 2024 18:00 Failure Certora:certora-squashed
Certora:certora-squashed
November 18, 2024 18:00 Failure
feat: update to use new proxy certora #34: 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