Skip to content

Actions: Certora/certora-run-action

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v2.7.0 Release #15: Release v2.7.0 published by H00N24
11s
11s
v2.6.0 Release #14: Release v2.6.0 published by H00N24
16s
16s
v2.5.1 Release #13: Release v2.5.1 published by H00N24
16s
16s
v2.5.0 Release #12: Release v2.5.0 published by H00N24
15s
15s
v2.4.0 Release #11: Release v2.4.0 published by H00N24
14s
14s
v2.3.0 Release #10: Release v2.3.0 published by H00N24
11s
11s
v2.2.0 Release #9: Release v2.2.0 published by H00N24
15s
15s
v2.1.2 Release #8: Release v2.1.2 published by H00N24
10s
10s
v2.1.1 Release #7: Release v2.1.1 published by H00N24
11s
11s
v2.1.0 Release #6: Release v2.1.0 published by H00N24
22s
22s
v2.0.1 Release #5: Release v2.0.1 published by H00N24
12s
12s
v2.0.0 Release #4: Release v2.0.0 published by H00N24
17s
17s
v1.4.1 Release #3: Release v1.4.1 published by H00N24
12s
12s
v1.4.0 Release #2: Release v1.4.0 published by H00N24
21s
21s
v1.3.0 Release #1: Release v1.3.0 published by H00N24
16s
16s