Skip to content

Actions: Certora/aave-governance-v3

Actions

certora-review-voting-chain

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-review-voting-chain.yml
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

certora-review-voting-chain certora-review-voting-chain #77: Manually run by gadicer
November 16, 2023 18:19 2h 42m 29s check_proposition_power
check_proposition_power
November 16, 2023 18:19 2h 42m 29s
Mutant payloads controller core 5 certora-review-voting-chain #76: Pull request #21 opened by nisnislevi
November 16, 2023 16:18 4h 26m 21s mutant-PayloadsControllerCore-5
mutant-PayloadsControllerCore-5
November 16, 2023 16:18 4h 26m 21s
Mutant payloads controller core 4 certora-review-voting-chain #75: Pull request #20 opened by nisnislevi
November 16, 2023 16:17 4h 43m 10s mutant-PayloadsControllerCore-4
mutant-PayloadsControllerCore-4
November 16, 2023 16:17 4h 43m 10s
Mutant payloads controller core 3 certora-review-voting-chain #74: Pull request #19 opened by nisnislevi
November 16, 2023 16:17 4h 10m 31s mutant-PayloadsControllerCore-3
mutant-PayloadsControllerCore-3
November 16, 2023 16:17 4h 10m 31s
Mutant payloads controller core 2 certora-review-voting-chain #73: Pull request #15 synchronize by nisnislevi
November 16, 2023 16:10 4h 5m 44s mutant-PayloadsControllerCore-2
mutant-PayloadsControllerCore-2
November 16, 2023 16:10 4h 5m 44s
Mutant payloads controller core 1 certora-review-voting-chain #72: Pull request #14 synchronize by nisnislevi
November 16, 2023 16:09 3h 59m 50s mutant-PayloadsControllerCore-1
mutant-PayloadsControllerCore-1
November 16, 2023 16:09 3h 59m 50s
Mutant governance core 14 certora-review-voting-chain #71: Pull request #18 opened by nisnislevi
November 16, 2023 15:58 4h 10m 28s mutant-GovernanceCore-14
mutant-GovernanceCore-14
November 16, 2023 15:58 4h 10m 28s
Mutant governance core 13 certora-review-voting-chain #70: Pull request #17 opened by nisnislevi
November 16, 2023 15:38 2h 56m 7s mutant-GovernanceCore-13
mutant-GovernanceCore-13
November 16, 2023 15:38 2h 56m 7s
Mutant governance core 12 certora-review-voting-chain #69: Pull request #16 opened by nisnislevi
November 16, 2023 15:23 1h 54m 10s mutant-GovernanceCore-12
mutant-GovernanceCore-12
November 16, 2023 15:23 1h 54m 10s
Mutant voting chain 11 certora-review-voting-chain #68: Pull request #13 synchronize by nisnislevi
November 16, 2023 14:40 33m 33s mutant-voting-chain-11
mutant-voting-chain-11
November 16, 2023 14:40 33m 33s
Mutant voting chain 10 certora-review-voting-chain #67: Pull request #12 synchronize by nisnislevi
November 16, 2023 14:40 1h 45m 48s mutant-voting-chain-10
mutant-voting-chain-10
November 16, 2023 14:40 1h 45m 48s
Mutant voting chain 9 certora-review-voting-chain #66: Pull request #11 synchronize by nisnislevi
November 16, 2023 12:52 2h 34m 47s mutant-voting-chain-9
mutant-voting-chain-9
November 16, 2023 12:52 2h 34m 47s
Mutant voting chain 8 certora-review-voting-chain #65: Pull request #10 synchronize by nisnislevi
November 16, 2023 12:51 2h 10m 44s mutant-voting-chain-8
mutant-voting-chain-8
November 16, 2023 12:51 2h 10m 44s
Mutant voting chain 7 certora-review-voting-chain #64: Pull request #9 synchronize by nisnislevi
November 16, 2023 12:48 2h 19m 11s mutant-voting-chain-7
mutant-voting-chain-7
November 16, 2023 12:48 2h 19m 11s
Mutant payloads controller core 2 certora-review-voting-chain #63: Pull request #15 opened by nisnislevi
November 16, 2023 12:22 15m 15s mutant-PayloadsControllerCore-2
mutant-PayloadsControllerCore-2
November 16, 2023 12:22 15m 15s
Mutant payloads controller core 1 certora-review-voting-chain #62: Pull request #14 opened by nisnislevi
November 16, 2023 12:20 17m 48s mutant-PayloadsControllerCore-1
mutant-PayloadsControllerCore-1
November 16, 2023 12:20 17m 48s
Mutant voting chain 11 certora-review-voting-chain #61: Pull request #13 opened by nisnislevi
November 16, 2023 11:55 43m 23s mutant-voting-chain-11
mutant-voting-chain-11
November 16, 2023 11:55 43m 23s
Mutant voting chain 10 certora-review-voting-chain #60: Pull request #12 opened by nisnislevi
November 16, 2023 11:48 44m 27s mutant-voting-chain-10
mutant-voting-chain-10
November 16, 2023 11:48 44m 27s
Mutant voting chain 9 certora-review-voting-chain #59: Pull request #11 opened by nisnislevi
November 16, 2023 11:08 42m 46s mutant-voting-chain-9
mutant-voting-chain-9
November 16, 2023 11:08 42m 46s
Mutant voting chain 8 certora-review-voting-chain #58: Pull request #10 opened by nisnislevi
November 16, 2023 10:57 40m 51s mutant-voting-chain-8
mutant-voting-chain-8
November 16, 2023 10:57 40m 51s
Mutant voting chain 7 certora-review-voting-chain #57: Pull request #9 opened by nisnislevi
November 16, 2023 10:53 31m 9s mutant-voting-chain-7
mutant-voting-chain-7
November 16, 2023 10:53 31m 9s
Mutant voting chain 6 certora-review-voting-chain #56: Pull request #8 opened by nisnislevi
November 16, 2023 10:02 49m 49s mutant-voting-chain-6
mutant-voting-chain-6
November 16, 2023 10:02 49m 49s
certora-review-voting-chain certora-review-voting-chain #55: Manually run by nisnislevi
November 16, 2023 09:21 1h 38m 57s mutant-voting-chain-5
mutant-voting-chain-5
November 16, 2023 09:21 1h 38m 57s
certora-review-voting-chain certora-review-voting-chain #54: Manually run by nisnislevi
November 16, 2023 08:43 37m 29s mutant-voting-chain-2
mutant-voting-chain-2
November 16, 2023 08:43 37m 29s
certora-review-voting-chain certora-review-voting-chain #53: Manually run by nisnislevi
November 16, 2023 08:19 1h 23m 20s mutant-voting-chain-1
mutant-voting-chain-1
November 16, 2023 08:19 1h 23m 20s