Skip to content

Actions: Certora/certora-run-action

Actions

Certora Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run Certora Tests Certora Tests #8: Pull request #28 synchronize by ozcodes
29s oz/tests
oz/tests
29s
Run Certora Tests Certora Tests #7: Pull request #28 synchronize by ozcodes
32s oz/tests
oz/tests
32s
Run Certora Tests Certora Tests #6: Pull request #28 reopened by ozcodes
41s oz/tests
oz/tests
41s
Run Certora Tests Certora Tests #5: Pull request #28 synchronize by ozcodes
32s oz/tests
oz/tests
32s
Run Certora Tests Certora Tests #4: Pull request #28 synchronize by ozcodes
33s oz/tests
oz/tests
33s
Run Certora Tests Certora Tests #3: Pull request #28 synchronize by ozcodes
20s oz/tests
oz/tests
20s
Run Certora Tests Certora Tests #2: Pull request #28 synchronize by ozcodes
14s oz/tests
oz/tests
14s
Run Certora Tests Certora Tests #1: Pull request #28 opened by ozcodes
36s oz/tests
oz/tests
36s