Skip to content

Actions: Certora/certora-run-action

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix certora-cli-alpha-master installation (#16) .github/workflows/main.yml #84: Commit d8263cb pushed by H00N24
February 13, 2025 08:01 1m 12s main
main
February 13, 2025 08:01 1m 12s
Fix certora-cli-alpha-master Installation .github/workflows/main.yml #83: Pull request #16 opened by H00N24
February 13, 2025 07:54 1m 11s fix/certora-cli-alpha-master
fix/certora-cli-alpha-master
February 13, 2025 07:54 1m 11s
Make group-id configurable .github/workflows/main.yml #82: Pull request #15 synchronize by nafur
February 12, 2025 13:49 1m 14s nafur:patch-1
nafur:patch-1
February 12, 2025 13:49 1m 14s
Make group-id configurable .github/workflows/main.yml #81: Pull request #15 synchronize by nafur
February 12, 2025 13:46 1m 10s nafur:patch-1
nafur:patch-1
February 12, 2025 13:46 1m 10s
Make group-id configurable .github/workflows/main.yml #80: Pull request #15 synchronize by nafur
February 12, 2025 13:19 1m 14s nafur:patch-1
nafur:patch-1
February 12, 2025 13:19 1m 14s
Make group-id configurable .github/workflows/main.yml #79: Pull request #15 synchronize by nafur
February 12, 2025 13:17 1m 14s nafur:patch-1
nafur:patch-1
February 12, 2025 13:17 1m 14s
Make group-id configurable .github/workflows/main.yml #78: Pull request #15 synchronize by nafur
February 12, 2025 13:14 1m 12s nafur:patch-1
nafur:patch-1
February 12, 2025 13:14 1m 12s
Make group-id configurable .github/workflows/main.yml #77: Pull request #15 opened by nafur
February 12, 2025 11:31 1m 17s nafur:patch-1
nafur:patch-1
February 12, 2025 11:31 1m 17s
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