Skip to content

Actions: Certora/aave-governance-v3

Actions

certora-review-execution-chain

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-review-execution-chain.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora Run Github Application certora-review-execution-chain #128: Pull request #32 synchronize by H00N24
January 24, 2025 09:20 2m 4s feat/job-submit-flow-final
feat/job-submit-flow-final
January 24, 2025 09:20 2m 4s
Certora certora-review-execution-chain #127: Pull request #6 synchronize by nisnislevi
January 12, 2025 07:46 23m 13s certora
certora
January 12, 2025 07:46 23m 13s
Certora certora-review-execution-chain #126: Pull request #6 synchronize by nisnislevi
January 9, 2025 15:22 33m 25s certora
certora
January 9, 2025 15:22 33m 25s
Certora Run Github Application certora-review-execution-chain #125: Pull request #32 opened by H00N24
January 9, 2025 08:10 1m 27s feat/job-submit-flow-final
feat/job-submit-flow-final
January 9, 2025 08:10 1m 27s
WIP: Add GH Application certora-review-execution-chain #124: Pull request #31 synchronize by H00N24
January 8, 2025 14:17 1m 28s feat/certora-gh-app
feat/certora-gh-app
January 8, 2025 14:17 1m 28s
WIP: Add GH Application certora-review-execution-chain #123: Pull request #31 synchronize by H00N24
January 8, 2025 13:45 2m 6s feat/certora-gh-app
feat/certora-gh-app
January 8, 2025 13:45 2m 6s
WIP: Add GH Application certora-review-execution-chain #122: Pull request #31 opened by H00N24
January 8, 2025 12:27 1m 40s feat/certora-gh-app
feat/certora-gh-app
January 8, 2025 12:27 1m 40s
Certora certora-review-execution-chain #121: Pull request #6 synchronize by nisnislevi
December 16, 2024 17:41 19m 0s certora
certora
December 16, 2024 17:41 19m 0s
Merge pull request #39 from Certora/certora-squashed certora-review-execution-chain #120: Commit be377dd pushed by nisnislevi
December 4, 2024 12:33 19m 37s main
main
December 4, 2024 12:33 19m 37s
Certora certora-review-execution-chain #119: Pull request #6 synchronize by nisnislevi
December 4, 2024 08:33 18m 14s certora
certora
December 4, 2024 08:33 18m 14s
Certora certora-review-execution-chain #118: Pull request #6 synchronize by nisnislevi
December 3, 2024 16:27 2h 18m 30s certora
certora
December 3, 2024 16:27 2h 18m 30s
Certora certora-review-execution-chain #117: Pull request #6 synchronize by nisnislevi
December 3, 2024 16:23 22m 1s certora
certora
December 3, 2024 16:23 22m 1s
Try 7.20.3 new certora-review-execution-chain #116: Pull request #30 synchronize by nisnislevi
December 3, 2024 16:21 24m 32s try-7.20.3-new
try-7.20.3-new
December 3, 2024 16:21 24m 32s
Try 7.20.3 new certora-review-execution-chain #115: Pull request #30 synchronize by nisnislevi
December 3, 2024 10:24 2h 5m 20s try-7.20.3-new
try-7.20.3-new
December 3, 2024 10:24 2h 5m 20s
Try 7.20.3 new certora-review-execution-chain #114: Pull request #30 opened by nisnislevi
December 3, 2024 10:13 2m 40s try-7.20.3-new
try-7.20.3-new
December 3, 2024 10:13 2m 40s
Try to merge certora-review-execution-chain #113: Pull request #28 synchronize by nisnislevi
December 1, 2024 15:45 1h 10m 17s try-to-merge
try-to-merge
December 1, 2024 15:45 1h 10m 17s
Try to merge certora-review-execution-chain #112: Pull request #28 opened by nisnislevi
December 1, 2024 14:55 1h 14m 47s try-to-merge
try-to-merge
December 1, 2024 14:55 1h 14m 47s
Merge pull request #37 from bgd-labs/fix/fix-ci certora-review-execution-chain #111: Commit 70865bf pushed by nisnislevi
December 1, 2024 12:52 1h 24m 31s main
main
December 1, 2024 12:52 1h 24m 31s
Try 7.20.3 certora-review-execution-chain #110: Pull request #27 opened by nisnislevi
November 26, 2024 14:07 2h 5m 44s try-7.20.3
try-7.20.3
November 26, 2024 14:07 2h 5m 44s
Tmp certora-review-execution-chain #109: Pull request #26 opened by nisnislevi
November 26, 2024 13:13 1h 23m 12s tmp
tmp
November 26, 2024 13:13 1h 23m 12s
Certora certora-review-execution-chain #108: Pull request #6 synchronize by nisnislevi
November 26, 2024 09:55 1h 14m 5s certora
certora
November 26, 2024 09:55 1h 14m 5s
Merge pull request #36 from bgd-labs/feat/operational-payloads-contro… certora-review-execution-chain #107: Commit 43fd72b pushed by nisnislevi
November 24, 2024 11:59 1h 11m 48s main
main
November 24, 2024 11:59 1h 11m 48s
certora-review-execution-chain certora-review-execution-chain #106: Manually run by gadicer
December 27, 2023 13:09 1h 45m 2s check_proposition_power
check_proposition_power
December 27, 2023 13:09 1h 45m 2s
Certora certora-review-execution-chain #105: Pull request #6 synchronize by gadicer
December 27, 2023 13:03 1h 21m 46s certora
certora
December 27, 2023 13:03 1h 21m 46s
Merge pull request #20 from bgd-labs/fix/extra-token-delegation-tests certora-review-execution-chain #104: Commit fc4857f pushed by gadicer
December 27, 2023 13:03 1h 24m 55s main
main
December 27, 2023 13:03 1h 24m 55s