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
236 workflow runs
236 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-basic #142: Commit 4602f2b pushed by sakulstra
20m 42s main
main
20m 42s
Fixed vm.assume for user address for the Pool Deficit tests certora-basic #141: Pull request #105 synchronize by sakulstra
3s test/fixed-pool-deficit-assume-user
test/fixed-pool-deficit-assume-user
3s
Fixed vm.assume for user address for the Pool Deficit tests certora-basic #140: Pull request #105 opened by TepNik
4s test/fixed-pool-deficit-assume-user
test/fixed-pool-deficit-assume-user
4s
test: update certora suite for 3.3.0 (#104) certora-basic #139: Commit 43eab2c pushed by sakulstra
22m 47s main
main
22m 47s
certora-basic certora-basic #138: Manually run by sakulstra
4s certora-squashed
certora-squashed
4s
update certora ci certora-basic #137: 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-basic #136: Commit 5431379 pushed by sakulstra
13m 8s main
main
13m 8s
V3.3.0 certora-basic #135: Pull request #87 synchronize by sakulstra
3s v3.3.0
v3.3.0
3s
chore: celo diffs certora-basic #134: Pull request #103 synchronize by brotherlymite
2s chore/celo-diffs
chore/celo-diffs
2s
chore: celo diffs certora-basic #133: Pull request #103 opened by brotherlymite
3s chore/celo-diffs
chore/celo-diffs
3s
chore: bump solidity utils (#102) certora-basic #132: Commit 083bd38 pushed by sakulstra
16m 34s main
main
16m 34s
chore: bump solidity utils certora-basic #131: Pull request #102 opened by brotherlymite
3s chore/bump-deps
chore/bump-deps
3s
chore: sonic diffs certora-basic #130: Pull request #101 synchronize by brotherlymite
2s chore/sonic-diffs
chore/sonic-diffs
2s
chore: sonic diffs certora-basic #129: Pull request #101 opened by brotherlymite
3s chore/sonic-diffs
chore/sonic-diffs
3s
V3.3.0 certora-basic #128: Pull request #87 synchronize by sakulstra
4s v3.3.0
v3.3.0
4s
V3.3.0 certora-basic #127: Pull request #87 synchronize by sakulstra
5s v3.3.0
v3.3.0
5s
V3.3.0 certora-basic #126: Pull request #87 synchronize by sakulstra
5s v3.3.0
v3.3.0
5s
V3.3.0 certora-basic #125: Pull request #87 synchronize by sakulstra
4s v3.3.0
v3.3.0
4s
fix: initialize funds admin on collector (#100) certora-basic #124: Commit 3203156 pushed by sakulstra
19m 56s main
main
19m 56s
fix: initialize funds admin on collector certora-basic #123: Pull request #100 opened by brotherlymite
3s fix/collector-initialize
fix/collector-initialize
3s
V3.3.0 certora-basic #122: Pull request #87 synchronize by sakulstra
4s v3.3.0
v3.3.0
4s
V3.3.0 certora-basic #121: Pull request #87 synchronize by sakulstra
4s v3.3.0
v3.3.0
4s
V3.3.0 certora-basic #120: Pull request #87 synchronize by sakulstra
2s v3.3.0
v3.3.0
2s
feat: Collector Upgrade. (#82) (#84) certora-basic #119: Commit 551ad6c pushed by sakulstra
19m 41s main
main
19m 41s
feat: Collector Upgrade. (#82) certora-basic #118: Pull request #84 synchronize by sakulstra
13m 27s kptk/new-collector
kptk/new-collector
13m 27s