Skip to content

Actions: Certora/certora-run-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
302 workflow runs
302 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v2.1.0 Release #6: Release v2.1.0 published by H00N24
22s
22s
Fix isolated env creation (#51) Certora Tests #237: Commit ddda915 pushed by H00N24
1m 28s main
main
1m 28s
Fix isolated env creation Certora Tests #236: Pull request #51 synchronize by H00N24
1m 14s feat/folder-hash-generation
feat/folder-hash-generation
1m 14s
Print installed versions (#50) Certora Tests #235: Commit b213307 pushed by H00N24
1m 23s main
main
1m 23s
Fix isolated env creation Certora Tests #234: Pull request #51 synchronize by H00N24
1m 31s feat/folder-hash-generation
feat/folder-hash-generation
1m 31s
Fix isolated env creation Certora Tests #233: Pull request #51 opened by H00N24
1m 16s feat/folder-hash-generation
feat/folder-hash-generation
1m 16s
Print installed versions Certora Tests #232: Pull request #50 opened by H00N24
1m 21s feat/log-version
feat/log-version
1m 21s
Certora Tests Certora Tests #231: Manually run by H00N24
2m 50s main
main
2m 50s
Release a new version Fast-Forward Merge #3: Issue comment #49 (comment) created by H00N24
19s
19s
v2.0.1 Release #5: Release v2.0.1 published by H00N24
12s
12s
Add GH action metadata (#48) Certora Tests #230: Commit 56c6a98 pushed by H00N24
1m 21s main
main
1m 21s
Add GH action metadata Certora Tests #229: Pull request #48 opened by H00N24
1m 15s feat/add-action-metadata
feat/add-action-metadata
1m 15s
Update README.md for v2 (#47) Certora Tests #228: Commit 5c93df4 pushed by H00N24
1m 12s main
main
1m 12s
Update README.md for v2 Certora Tests #227: Pull request #47 opened by H00N24
1m 13s fix/v2-readme-update
fix/v2-readme-update
1m 13s
v2.0.0 Release #4: Release v2.0.0 published by H00N24
17s
17s
Fix main-v* target branch Certora Tests #226: Commit abbfa83 pushed by H00N24
1m 10s main
main
1m 10s
Promote release V2 to main Certora Tests #225: Pull request #46 synchronize by H00N24
1m 30s main-v2
main-v2
1m 30s
Fix main-v* target branch Certora Tests #224: Commit 593f89a pushed by H00N24
1m 34s main-v2
main-v2
1m 34s
Promote release V2 to main Certora Tests #223: Pull request #46 opened by H00N24
1m 20s main-v2
main-v2
1m 20s
Fix prefix for single configuration (#45) Certora Tests #222: Commit a4bc3ff pushed by H00N24
1m 16s main-v2
main-v2
1m 16s
[V2] Fix prefix remover for a single config Certora Tests #221: Pull request #45 opened by H00N24
1m 18s fix/prefix-remove
fix/prefix-remove
1m 18s
[V2] Add github app integration check (#41) Certora Tests #220: Commit ed985c7 pushed by H00N24
1m 19s main-v2
main-v2
1m 19s
[V2] Add github app integration check Certora Tests #219: Pull request #41 synchronize by H00N24
1m 35s oz/app-integration
oz/app-integration
1m 35s
[V2] Add github app integration check Certora Tests #218: Pull request #41 synchronize by H00N24
1m 20s oz/app-integration
oz/app-integration
1m 20s
[V2] Add github app integration check Certora Tests #217: Pull request #41 synchronize by H00N24
1m 18s oz/app-integration
oz/app-integration
1m 18s