Skip to content

Actions: Certora/aave-governance-v3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
354 workflow runs
354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

certora-review-voting-chain certora-review-voting-chain #50: Manually run by nisnislevi
November 14, 2023 20:32 1h 28m 47s nissan-mutants
nissan-mutants
November 14, 2023 20:32 1h 28m 47s
certora-review-mainnet certora-review-mainnet #55: Manually run by nisnislevi
November 14, 2023 20:30 15m 34s nissan-mutants
nissan-mutants
November 14, 2023 20:30 15m 34s
certora-review-execution-chain certora-review-execution-chain #52: Manually run by nisnislevi
November 14, 2023 20:30 1h 40m 46s nissan-mutants
nissan-mutants
November 14, 2023 20:30 1h 40m 46s
certora-review-mainnet certora-review-mainnet #54: Manually run by gadicer
November 14, 2023 19:44 18m 45s check_proposition_power
check_proposition_power
November 14, 2023 19:44 18m 45s
certora-review-voting-chain certora-review-voting-chain #49: Manually run by nisnislevi
November 14, 2023 18:15 18m 12s nissan-mutants
nissan-mutants
November 14, 2023 18:15 18m 12s
certora-review-mainnet certora-review-mainnet #53: Manually run by nisnislevi
November 14, 2023 18:15 3m 47s nissan-mutants
nissan-mutants
November 14, 2023 18:15 3m 47s
certora-review-execution-chain certora-review-execution-chain #51: Manually run by nisnislevi
November 14, 2023 18:14 5m 55s nissan-mutants
nissan-mutants
November 14, 2023 18:14 5m 55s
certora-review-voting-chain certora-review-voting-chain #48: Manually run by nisnislevi
November 14, 2023 17:17 22m 41s mutant-voting-chain-3
mutant-voting-chain-3
November 14, 2023 17:17 22m 41s
certora-review-mainnet certora-review-mainnet #52: Manually run by nisnislevi
November 14, 2023 17:17 51m 23s mutant-voting-chain-3
mutant-voting-chain-3
November 14, 2023 17:17 51m 23s
certora-review-execution-chain certora-review-execution-chain #50: Manually run by nisnislevi
November 14, 2023 17:17 17m 12s mutant-voting-chain-3
mutant-voting-chain-3
November 14, 2023 17:17 17m 12s
certora-review-execution-chain certora-review-execution-chain #49: Manually run by nisnislevi
November 14, 2023 17:11 1h 23m 10s mutant-voting-chain-4
mutant-voting-chain-4
November 14, 2023 17:11 1h 23m 10s
certora-review-mainnet certora-review-mainnet #51: Manually run by nisnislevi
November 14, 2023 17:10 10m 20s mutant-voting-chain-4
mutant-voting-chain-4
November 14, 2023 17:10 10m 20s
certora-review-voting-chain certora-review-voting-chain #47: Manually run by nisnislevi
November 14, 2023 17:00 1h 24m 5s mutant-voting-chain-4
mutant-voting-chain-4
November 14, 2023 17:00 1h 24m 5s
Main workflow Main workflow #49: Manually run by gadicer
November 13, 2023 15:24 51m 5s check_proposition_power
check_proposition_power
November 13, 2023 15:24 51m 5s
certora-review-voting-chain certora-review-voting-chain #46: Manually run by gadicer
November 13, 2023 15:24 2h 28m 7s check_proposition_power
check_proposition_power
November 13, 2023 15:24 2h 28m 7s
certora-review-mainnet certora-review-mainnet #50: Manually run by gadicer
November 13, 2023 15:23 1h 8m 18s check_proposition_power
check_proposition_power
November 13, 2023 15:23 1h 8m 18s
certora-review-execution-chain certora-review-execution-chain #48: Manually run by gadicer
November 13, 2023 15:23 2h 5m 49s check_proposition_power
check_proposition_power
November 13, 2023 15:23 2h 5m 49s
Certora Main workflow #48: Pull request #6 synchronize by gadicer
November 13, 2023 15:09 40m 11s certora
certora
November 13, 2023 15:09 40m 11s
Certora certora-review-execution-chain #47: Pull request #6 synchronize by gadicer
November 13, 2023 15:09 46m 18s certora
certora
November 13, 2023 15:09 46m 18s
Certora certora-review-mainnet #49: Pull request #6 synchronize by gadicer
November 13, 2023 15:09 44m 51s certora
certora
November 13, 2023 15:09 44m 51s
Certora certora-review-voting-chain #45: Pull request #6 synchronize by gadicer
November 13, 2023 15:09 2h 7m 59s certora
certora
November 13, 2023 15:09 2h 7m 59s
Merge pull request #13 from bgd-labs/fix/update-initializer Main workflow #47: Commit 075e80e pushed by gadicer
November 13, 2023 15:08 2m 1s main
main
November 13, 2023 15:08 2m 1s
Merge pull request #13 from bgd-labs/fix/update-initializer certora-review-execution-chain #46: Commit 075e80e pushed by gadicer
November 13, 2023 15:08 46m 39s main
main
November 13, 2023 15:08 46m 39s
Merge pull request #13 from bgd-labs/fix/update-initializer certora-review-voting-chain #44: Commit 075e80e pushed by gadicer
November 13, 2023 15:08 2h 15m 14s main
main
November 13, 2023 15:08 2h 15m 14s
Merge pull request #13 from bgd-labs/fix/update-initializer certora-review-mainnet #48: Commit 075e80e pushed by gadicer
November 13, 2023 15:08 20m 17s main
main
November 13, 2023 15:08 20m 17s
ProTip! You can narrow down the results and go further in time using created:<2023-11-13 or the other filters available.