Skip to content

Actions: Certora/aave-governance-v3

Actions

Main workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check proposition power Main workflow #94: Pull request #29 opened by nisnislevi
December 1, 2024 15:29 2m 8s check_proposition_power
check_proposition_power
December 1, 2024 15:29 2m 8s
Merge pull request #36 from bgd-labs/feat/operational-payloads-contro… Main workflow #93: Commit 43fd72b pushed by nisnislevi
November 24, 2024 11:59 3m 38s main
main
November 24, 2024 11:59 3m 38s
Certora Main workflow #92: Pull request #6 synchronize by gadicer
December 27, 2023 13:03 15m 45s certora
certora
December 27, 2023 13:03 15m 45s
Merge pull request #20 from bgd-labs/fix/extra-token-delegation-tests Main workflow #91: Commit fc4857f pushed by gadicer
December 27, 2023 13:03 2m 0s main
main
December 27, 2023 13:03 2m 0s
Certora Main workflow #90: Pull request #6 synchronize by gadicer
December 20, 2023 13:13 15m 50s certora
certora
December 20, 2023 13:13 15m 50s
Merge pull request #19 from bgd-labs/fix/new-configs Main workflow #89: Commit 050d41b pushed by gadicer
December 20, 2023 13:12 2m 6s main
main
December 20, 2023 13:12 2m 6s
Main workflow Main workflow #88: Manually run by gadicer
December 18, 2023 17:57 34m 56s check_proposition_power
check_proposition_power
December 18, 2023 17:57 34m 56s
Certora Main workflow #87: Pull request #6 synchronize by gadicer
December 18, 2023 17:39 13m 26s certora
certora
December 18, 2023 17:39 13m 26s
Merge pull request #16 from Certora/split_voting_tasks Main workflow #86: Commit 836bcc0 pushed by gadicer
December 18, 2023 17:12 2m 4s main
main
December 18, 2023 17:12 2m 4s
Main workflow Main workflow #85: Manually run by gadicer
December 18, 2023 13:49 1m 56s check_proposition_power
check_proposition_power
December 18, 2023 13:49 1m 56s
Certora Main workflow #84: Pull request #6 synchronize by gadicer
December 11, 2023 17:56 2m 54s certora
certora
December 11, 2023 17:56 2m 54s
remove old rule invalidTokenRefused Main workflow #83: Pull request #25 opened by gadicer
December 11, 2023 17:56 36s check_proposition_power
check_proposition_power
December 11, 2023 17:56 36s
Certora Main workflow #82: Pull request #6 synchronize by gadicer
December 11, 2023 14:42 38m 10s certora
certora
December 11, 2023 14:42 38m 10s
Check proposition power Main workflow #81: Pull request #24 opened by gadicer
December 11, 2023 14:42 1m 50s check_proposition_power
check_proposition_power
December 11, 2023 14:42 1m 50s
Certora Main workflow #80: Pull request #6 synchronize by gadicer
December 11, 2023 13:21 9m 57s certora
certora
December 11, 2023 13:21 9m 57s
Check proposition power Main workflow #79: Pull request #23 opened by gadicer
December 11, 2023 13:17 2m 18s check_proposition_power
check_proposition_power
December 11, 2023 13:17 2m 18s
Main workflow Main workflow #78: Manually run by gadicer
December 11, 2023 11:00 1m 57s check_proposition_power
check_proposition_power
December 11, 2023 11:00 1m 57s
Main workflow Main workflow #77: Manually run by gadicer
December 10, 2023 09:59 2m 21s check_proposition_power
check_proposition_power
December 10, 2023 09:59 2m 21s
Main workflow Main workflow #76: Manually run by gadicer
November 30, 2023 07:37 2m 12s check_proposition_power
check_proposition_power
November 30, 2023 07:37 2m 12s
Main workflow Main workflow #75: Manually run by gadicer
November 26, 2023 16:50 1m 50s check_proposition_power
check_proposition_power
November 26, 2023 16:50 1m 50s
Main workflow Main workflow #74: Manually run by gadicer
November 23, 2023 11:15 1m 53s certora_cli_5_0_5
certora_cli_5_0_5
November 23, 2023 11:15 1m 53s
review governance spec Main workflow #73: Pull request #22 opened by nd-certora
November 22, 2023 07:52 1m 57s nurit/review
nurit/review
November 22, 2023 07:52 1m 57s
Main workflow Main workflow #72: Manually run by gadicer
November 16, 2023 18:20 1h 18m 43s check_proposition_power
check_proposition_power
November 16, 2023 18:20 1h 18m 43s
Mutant payloads controller core 5 Main workflow #71: Pull request #21 opened by nisnislevi
November 16, 2023 16:18 3h 4m 54s mutant-PayloadsControllerCore-5
mutant-PayloadsControllerCore-5
November 16, 2023 16:18 3h 4m 54s
Mutant payloads controller core 4 Main workflow #70: Pull request #20 opened by nisnislevi
November 16, 2023 16:17 2h 27m 48s mutant-PayloadsControllerCore-4
mutant-PayloadsControllerCore-4
November 16, 2023 16:17 2h 27m 48s