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
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Test action .github/workflows/main.yml #51: Pull request #4 synchronize by H00N24
December 11, 2024 13:05 27s test/test-action
test/test-action
December 11, 2024 13:05 27s
Test action .github/workflows/main.yml #50: Pull request #4 opened by H00N24
December 11, 2024 13:04 29s test/test-action
test/test-action
December 11, 2024 13:04 29s
Update README (#3) .github/workflows/main.yml #49: Commit abfeeb0 pushed by H00N24
December 10, 2024 21:24 22s main
main
December 10, 2024 21:24 22s
Update README .github/workflows/main.yml #48: Pull request #3 synchronize by H00N24
December 10, 2024 21:23 28s feat/readme-update
feat/readme-update
December 10, 2024 21:23 28s