Skip to content

Actions: Certora/certora-run-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump the all-dependencies group across 1 directory with 2 updates Certora Tests #347: Pull request #96 opened by dependabot Bot
1m 5s dependabot/github_actions/all-dependencies-02325a8da5
dependabot/github_actions/all-dependencies-02325a8da5
1m 5s
Bump actions/checkout from 6 to 7 in the all-dependencies group Fast-Forward Merge #21: Issue comment #93 (comment) created by dependabot Bot
1s
1s
github_actions in / for actions/checkout - Update #1435505396 Dependabot Updates #27: by dependabot Bot
48s main
main
48s
github_actions in /. - Update #1435505360 Dependabot Updates #26: by dependabot Bot
20s main
main
20s
Bump actions/checkout from 6 to 7 in the all-dependencies group Certora Tests #346: Pull request #93 synchronize by H00N24
1m 20s dependabot/github_actions/all-dependencies-640176b5ab
dependabot/github_actions/all-dependencies-640176b5ab
1m 20s
Add flags to enable shared workspace for compilation (#94) Certora Tests #345: Commit 1ff8d33 pushed by kel-certora
1m 21s main
main
1m 21s
Add flags to enable shared workspace for compilation Certora Tests #344: Pull request #94 synchronize by kel-certora
1m 49s kel/no-temp-dir
kel/no-temp-dir
1m 49s
Replace eval arg parsing (#95) Certora Tests #343: Commit 1b56663 pushed by H00N24
1m 29s main
main
1m 29s
Replace eval arg parsing Certora Tests #342: Pull request #95 opened by H00N24
1m 30s feat/replace-eval-array-parsing
feat/replace-eval-array-parsing
1m 30s
Add flags to enable shared workspace for compilation Certora Tests #341: Pull request #94 synchronize by kel-certora
1m 16s kel/no-temp-dir
kel/no-temp-dir
1m 16s
Add flags to enable shared workspace for compilation Certora Tests #340: Pull request #94 synchronize by kel-certora
1m 39s kel/no-temp-dir
kel/no-temp-dir
1m 39s
Add flags to enable shared workspace for compilation Certora Tests #339: Pull request #94 opened by kel-certora
1m 49s kel/no-temp-dir
kel/no-temp-dir
1m 49s
Certora Tests Certora Tests #338: Manually run by kel-certora
1m 44s kel/solana-build-cache
kel/solana-build-cache
1m 44s
Bump actions/checkout from 6 to 7 in the all-dependencies group Certora Tests #337: Pull request #93 opened by dependabot Bot
1m 4s dependabot/github_actions/all-dependencies-640176b5ab
dependabot/github_actions/all-dependencies-640176b5ab
1m 4s
github_actions in /. - Update #1421764906 Dependabot Updates #25: by dependabot Bot
47s main
main
47s
Release a new version Fast-Forward Merge #20: Issue comment #92 (comment) created by H00N24
26s
26s
github_actions in /. - Update #1408844717 Dependabot Updates #24: by dependabot Bot
47s main
main
47s
Running Copilot Code Review Copilot #1: by Copilot AI
3m 20s release-v2.9.0
release-v2.9.0
3m 20s
v2.9.0 Release #17: Release v2.9.0 published by H00N24
13s
13s
Verify SHA-256 of downloaded solc binaries (#91) Certora Tests #336: Commit d8dff66 pushed by H00N24
1m 37s main
main
1m 37s
Certora Tests Certora Tests #335: Manually run by ozcodes
2m 47s main
main
2m 47s
github_actions in /. - Update #1398296130 Dependabot Updates #23: by dependabot Bot
43s main
main
43s
github_actions in /. - Update #1388824632 Dependabot Updates #22: by dependabot Bot
45s main
main
45s
github_actions in /. - Update #1378515447 Dependabot Updates #21: by dependabot Bot
51s main
main
51s
github_actions in /. - Update #1368098838 Dependabot Updates #20: by dependabot Bot
46s main
main
46s