Skip to content

Actions: aave-dao/aave-v3-origin

Actions

certora-basic

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Collector Upgrade. (#82) certora-basic #107: Pull request #84 synchronize by sakulstra
January 30, 2025 09:37 3m 12s kptk/new-collector
kptk/new-collector
January 30, 2025 09:37 3m 12s
feat: upgrade factory (#95) certora-basic #106: Commit 7d706f0 pushed by sakulstra
January 29, 2025 11:27 19m 49s main
main
January 29, 2025 11:27 19m 49s
test: snapshot improvements (#96) certora-basic #105: Commit 37bb873 pushed by sakulstra
January 28, 2025 10:39 24m 43s main
main
January 28, 2025 10:39 24m 43s
test: snapshot improvements certora-basic #104: Pull request #96 synchronize by sakulstra
January 28, 2025 09:41 3s bgd-labs:test/snapshot-improvements
bgd-labs:test/snapshot-improvements
January 28, 2025 09:41 3s
test: snapshot improvements certora-basic #103: Pull request #96 opened by sakulstra
January 28, 2025 09:36 4s bgd-labs:test/snapshot-improvements
bgd-labs:test/snapshot-improvements
January 28, 2025 09:36 4s
feat: upgrade factory certora-basic #102: Pull request #95 synchronize by sakulstra
January 27, 2025 15:29 3s bgd-labs:feat/upgrade-factory
bgd-labs:feat/upgrade-factory
January 27, 2025 15:29 3s
feat: upgrade factory certora-basic #101: Pull request #95 synchronize by sakulstra
January 27, 2025 13:39 2s bgd-labs:feat/upgrade-factory
bgd-labs:feat/upgrade-factory
January 27, 2025 13:39 2s
feat: upgrade factory certora-basic #100: Pull request #95 synchronize by brotherlymite
January 27, 2025 13:35 3s bgd-labs:feat/upgrade-factory
bgd-labs:feat/upgrade-factory
January 27, 2025 13:35 3s
feat: upgrade factory certora-basic #99: Pull request #95 synchronize by sakulstra
January 27, 2025 13:06 3s bgd-labs:feat/upgrade-factory
bgd-labs:feat/upgrade-factory
January 27, 2025 13:06 3s
feat: upgrade factory certora-basic #98: Pull request #95 synchronize by sakulstra
January 27, 2025 12:40 3s bgd-labs:feat/upgrade-factory
bgd-labs:feat/upgrade-factory
January 27, 2025 12:40 3s
feat: upgrade factory certora-basic #97: Pull request #95 synchronize by sakulstra
January 27, 2025 11:39 4s bgd-labs:feat/upgrade-factory
bgd-labs:feat/upgrade-factory
January 27, 2025 11:39 4s
feat: upgrade factory certora-basic #96: Pull request #95 opened by sakulstra
January 25, 2025 12:04 3s bgd-labs:feat/upgrade-factory
bgd-labs:feat/upgrade-factory
January 25, 2025 12:04 3s
feat: Collector Upgrade. (#82) certora-basic #95: Pull request #84 synchronize by sakulstra
January 24, 2025 08:41 16m 15s kptk/new-collector
kptk/new-collector
January 24, 2025 08:41 16m 15s
feat: Collector Upgrade. (#82) certora-basic #94: Pull request #84 synchronize by sakulstra
January 15, 2025 14:29 20m 30s kptk/new-collector
kptk/new-collector
January 15, 2025 14:29 20m 30s
V3.3.0 certora-basic #93: Pull request #87 synchronize by sakulstra
January 9, 2025 09:45 4s bgd-labs:v3.3.0
bgd-labs:v3.3.0
January 9, 2025 09:45 4s
V3.3.0 certora-basic #92: Pull request #87 synchronize by sakulstra
January 9, 2025 08:50 4s bgd-labs:v3.3.0
bgd-labs:v3.3.0
January 9, 2025 08:50 4s
V3.3.0 certora-basic #91: Pull request #87 synchronize by sakulstra
January 8, 2025 11:19 3s bgd-labs:v3.3.0
bgd-labs:v3.3.0
January 8, 2025 11:19 3s
V3.3.0 certora-basic #90: Pull request #87 synchronize by sakulstra
January 7, 2025 15:24 13s bgd-labs:v3.3.0
bgd-labs:v3.3.0
January 7, 2025 15:24 13s
feat: Collector Upgrade. (#82) certora-basic #89: Pull request #84 synchronize by sakulstra
January 6, 2025 14:16 34m 34s kptk/new-collector
kptk/new-collector
January 6, 2025 14:16 34m 34s
V3.3.0 certora-basic #88: Pull request #87 synchronize by sakulstra
January 6, 2025 11:43 4s bgd-labs:v3.3.0
bgd-labs:v3.3.0
January 6, 2025 11:43 4s
V3.3.0 certora-basic #87: Pull request #87 synchronize by sakulstra
January 2, 2025 10:11 3s bgd-labs:v3.3.0
bgd-labs:v3.3.0
January 2, 2025 10:11 3s
feat: Collector Upgrade. (#82) certora-basic #86: Pull request #84 synchronize by brotherlymite
December 23, 2024 16:56 17m 28s kptk/new-collector
kptk/new-collector
December 23, 2024 16:56 17m 28s
V3.3.0 certora-basic #85: Pull request #87 synchronize by sakulstra
December 17, 2024 13:48 4s bgd-labs:v3.3.0
bgd-labs:v3.3.0
December 17, 2024 13:48 4s
fix: add _initGuard for proxy (#93) certora-basic #84: Commit 1dab6e5 pushed by sakulstra
December 16, 2024 14:31 20m 39s main
main
December 16, 2024 14:31 20m 39s
fix: add _initGuard for collector certora-basic #83: Pull request #93 opened by brotherlymite
December 16, 2024 14:27 4s bgd-labs:fix/collector
bgd-labs:fix/collector
December 16, 2024 14:27 4s