Skip to content

Actions: Certora/aave-token-v3

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora Run Action certora #70: Pull request #40 synchronize by H00N24
December 19, 2024 15:52 59s feat/certora-run-action
feat/certora-run-action
December 19, 2024 15:52 59s
Certora Run Action certora #69: Pull request #40 synchronize by H00N24
December 18, 2024 14:19 43s feat/certora-run-action
feat/certora-run-action
December 18, 2024 14:19 43s
Certora Run Action certora #68: Pull request #40 synchronize by H00N24
December 18, 2024 14:04 1m 30s feat/certora-run-action
feat/certora-run-action
December 18, 2024 14:04 1m 30s
Certora Run Action certora #67: Pull request #40 synchronize by H00N24
December 18, 2024 13:57 30s feat/certora-run-action
feat/certora-run-action
December 18, 2024 13:57 30s
Certora Run Action certora #66: Pull request #40 synchronize by H00N24
December 18, 2024 13:51 32s feat/certora-run-action
feat/certora-run-action
December 18, 2024 13:51 32s
Certora Run Action certora #65: Pull request #40 opened by H00N24
December 18, 2024 11:15 21s feat/certora-run-action
feat/certora-run-action
December 18, 2024 11:15 21s
certora certora #64: Manually run by nisnislevi
November 12, 2023 13:43 33m 0s certora-squash
certora-squash
November 12, 2023 13:43 33m 0s
Certora - testing CI certora #63: Pull request #36 synchronize by nisnislevi
November 12, 2023 12:54 34m 55s certora
certora
November 12, 2023 12:54 34m 55s
fix .yml certora #62: Commit 64eb150 pushed by nisnislevi
November 12, 2023 12:54 1m 48s certora
certora
November 12, 2023 12:54 1m 48s
Certora - testing CI certora #61: Pull request #36 synchronize by nisnislevi
November 12, 2023 12:46 9m 4s certora
certora
November 12, 2023 12:46 9m 4s
add to .tml certora #60: Commit c483743 pushed by nisnislevi
November 12, 2023 12:46 2m 3s certora
certora
November 12, 2023 12:46 2m 3s
Certora - testing CI certora #59: Pull request #36 synchronize by nisnislevi
November 12, 2023 12:43 5m 12s certora
certora
November 12, 2023 12:43 5m 12s
Merge pull request #38 from Certora/certora-squash certora #58: Commit ec80c6d pushed by nisnislevi
November 12, 2023 10:56 53m 24s main
main
November 12, 2023 10:56 53m 24s