Skip to content

Actions: Certora/aave-token-v3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 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