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
237 workflow runs
237 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: vm.assume for user address for the Pool Deficit tests & update s… certora-stata #160: Commit 4602f2b pushed by sakulstra
26m 58s main
main
26m 58s
Fixed vm.assume for user address for the Pool Deficit tests certora-stata #159: Pull request #105 synchronize by sakulstra
2s test/fixed-pool-deficit-assume-user
test/fixed-pool-deficit-assume-user
2s
Fixed vm.assume for user address for the Pool Deficit tests certora-stata #158: Pull request #105 opened by TepNik
3s test/fixed-pool-deficit-assume-user
test/fixed-pool-deficit-assume-user
3s
test: update certora suite for 3.3.0 (#104) certora-stata #157: Commit 43eab2c pushed by sakulstra
26m 49s main
main
26m 49s
update certora ci certora-stata #156: Pull request #104 opened by sakulstra
3s Certora:certora-squashed
Certora:certora-squashed
3s
Merge pull request #87 from bgd-labs/v3.3.0 certora-stata #155: Commit 5431379 pushed by sakulstra
23m 19s main
main
23m 19s
V3.3.0 certora-stata #154: Pull request #87 synchronize by sakulstra
2s v3.3.0
v3.3.0
2s
chore: celo diffs certora-stata #153: Pull request #103 synchronize by brotherlymite
2s chore/celo-diffs
chore/celo-diffs
2s
chore: celo diffs certora-stata #152: Pull request #103 opened by brotherlymite
2s chore/celo-diffs
chore/celo-diffs
2s
chore: bump solidity utils (#102) certora-stata #151: Commit 083bd38 pushed by sakulstra
23m 42s main
main
23m 42s
chore: bump solidity utils certora-stata #150: Pull request #102 opened by brotherlymite
2s chore/bump-deps
chore/bump-deps
2s
chore: sonic diffs certora-stata #149: Pull request #101 synchronize by brotherlymite
1s chore/sonic-diffs
chore/sonic-diffs
1s
chore: sonic diffs certora-stata #148: Pull request #101 opened by brotherlymite
2s chore/sonic-diffs
chore/sonic-diffs
2s
V3.3.0 certora-stata #147: Pull request #87 synchronize by sakulstra
3s v3.3.0
v3.3.0
3s
V3.3.0 certora-stata #146: Pull request #87 synchronize by sakulstra
3s v3.3.0
v3.3.0
3s
V3.3.0 certora-stata #145: Pull request #87 synchronize by sakulstra
3s v3.3.0
v3.3.0
3s
V3.3.0 certora-stata #144: Pull request #87 synchronize by sakulstra
3s v3.3.0
v3.3.0
3s
fix: initialize funds admin on collector (#100) certora-stata #143: Commit 3203156 pushed by sakulstra
20m 10s main
main
20m 10s
fix: initialize funds admin on collector certora-stata #142: Pull request #100 opened by brotherlymite
3s fix/collector-initialize
fix/collector-initialize
3s
V3.3.0 certora-stata #141: Pull request #87 synchronize by sakulstra
3s v3.3.0
v3.3.0
3s
V3.3.0 certora-stata #140: Pull request #87 synchronize by sakulstra
3s v3.3.0
v3.3.0
3s
V3.3.0 certora-stata #139: Pull request #87 synchronize by sakulstra
2s v3.3.0
v3.3.0
2s
feat: Collector Upgrade. (#82) (#84) certora-stata #138: Commit 551ad6c pushed by sakulstra
19m 54s main
main
19m 54s
feat: Collector Upgrade. (#82) certora-stata #137: Pull request #84 synchronize by sakulstra
20m 30s kptk/new-collector
kptk/new-collector
20m 30s
fix: disable initializers (#99) certora-stata #136: Commit 64fd978 pushed by sakulstra
23m 19s main
main
23m 19s