Skip to content

Actions: Certora/certora-run-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix cli version inputs (#14) .github/workflows/main.yml #76: Commit b641187 pushed by ozcodes
February 9, 2025 10:45 1m 8s main
main
February 9, 2025 10:45 1m 8s
Fix cli version inputs .github/workflows/main.yml #75: Pull request #14 opened by ozcodes
February 6, 2025 20:16 1m 14s oz/test
oz/test
February 6, 2025 20:16 1m 14s
Add complex example (#13) .github/workflows/main.yml #74: Commit c7fae9d pushed by H00N24
January 24, 2025 08:34 1m 9s main
main
January 24, 2025 08:34 1m 9s
Add Release Version and Complex Example .github/workflows/main.yml #73: Pull request #13 opened by H00N24
January 24, 2025 08:33 1m 10s feat/readme-release-update
feat/readme-release-update
January 24, 2025 08:33 1m 10s
Isolated Environments and Remove the Longest Common Prefix (#12) .github/workflows/main.yml #72: Commit 5aa3c70 pushed by H00N24
January 9, 2025 08:06 1m 12s main
main
January 9, 2025 08:06 1m 12s
Isolated Environments and Remove the Longest Common Prefix .github/workflows/main.yml #71: Pull request #12 synchronize by H00N24
January 8, 2025 15:32 1m 10s feat/isolated-envs
feat/isolated-envs
January 8, 2025 15:32 1m 10s
Isolated Environments and Remove the Longest Common Prefix .github/workflows/main.yml #70: Pull request #12 synchronize by H00N24
January 8, 2025 15:28 1m 10s feat/isolated-envs
feat/isolated-envs
January 8, 2025 15:28 1m 10s
Isolated Environments and Remove the Longest Common Prefix .github/workflows/main.yml #69: Pull request #12 opened by H00N24
January 8, 2025 14:27 1m 11s feat/isolated-envs
feat/isolated-envs
January 8, 2025 14:27 1m 11s
Add action description and branding (#11) .github/workflows/main.yml #68: Commit d36e7e0 pushed by H00N24
December 22, 2024 09:32 1m 12s main
main
December 22, 2024 09:32 1m 12s
Add action description and branding .github/workflows/main.yml #67: Pull request #11 synchronize by H00N24
December 22, 2024 09:27 1m 15s feat/readme-update
feat/readme-update
December 22, 2024 09:27 1m 15s
Add action description and branding .github/workflows/main.yml #66: Pull request #11 opened by H00N24
December 19, 2024 16:36 1m 14s feat/readme-update
feat/readme-update
December 19, 2024 16:36 1m 14s
Remove Comments & Compilation Step Only Feature (#10) .github/workflows/main.yml #65: Commit 02d9937 pushed by H00N24
December 19, 2024 15:26 1m 8s main
main
December 19, 2024 15:26 1m 8s
Remove Comments & Compilation Step Only Feature .github/workflows/main.yml #64: Pull request #10 synchronize by H00N24
December 19, 2024 15:24 1m 12s feat/remove-comments-and-compilation-only
feat/remove-comments-and-compilation-only
December 19, 2024 15:24 1m 12s
Remove Comments & Compilation Step Only Feature .github/workflows/main.yml #63: Pull request #10 synchronize by H00N24
December 19, 2024 15:14 1m 12s feat/remove-comments-and-compilation-only
feat/remove-comments-and-compilation-only
December 19, 2024 15:14 1m 12s
Remove Comments & Compilation Step Only Feature .github/workflows/main.yml #62: Pull request #10 synchronize by H00N24
December 19, 2024 15:09 38s feat/remove-comments-and-compilation-only
feat/remove-comments-and-compilation-only
December 19, 2024 15:09 38s
Remove Comments & Compilation Step Only Feature .github/workflows/main.yml #61: Pull request #10 synchronize by H00N24
December 19, 2024 14:58 42s feat/remove-comments-and-compilation-only
feat/remove-comments-and-compilation-only
December 19, 2024 14:58 42s
Remove Comments & Compilation Step Only Feature .github/workflows/main.yml #60: Pull request #10 opened by H00N24
December 19, 2024 14:15 24s feat/remove-comments-and-compilation-only
feat/remove-comments-and-compilation-only
December 19, 2024 14:15 24s
Add Alpha Note to Readme .github/workflows/main.yml #59: Pull request #9 opened by H00N24
December 18, 2024 13:32 36s fix/alpha-note
fix/alpha-note
December 18, 2024 13:32 36s
This is my new change .github/workflows/main.yml #58: Pull request #6 synchronize by H00N24
December 12, 2024 18:51 29s test/test
test/test
December 12, 2024 18:51 29s
This is my new change .github/workflows/main.yml #57: Pull request #6 opened by H00N24
December 12, 2024 15:18 1m 11s test/test
test/test
December 12, 2024 15:18 1m 11s
Test Action (#5) .github/workflows/main.yml #56: Commit e324c94 pushed by H00N24
December 12, 2024 15:04 1m 28s main
main
December 12, 2024 15:04 1m 28s
Test Action .github/workflows/main.yml #55: Pull request #5 opened by H00N24
December 12, 2024 14:56 39s test/test-action
test/test-action
December 12, 2024 14:56 39s
Test action .github/workflows/main.yml #54: Pull request #4 synchronize by H00N24
December 12, 2024 13:37 39s test/test-action
test/test-action
December 12, 2024 13:37 39s
Test action .github/workflows/main.yml #53: Pull request #4 synchronize by H00N24
December 11, 2024 15:34 35s test/test-action
test/test-action
December 11, 2024 15:34 35s
Test action .github/workflows/main.yml #52: Pull request #4 synchronize by H00N24
December 11, 2024 15:27 30s test/test-action
test/test-action
December 11, 2024 15:27 30s