Skip to content

Actions: Certora/AutoProver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
prover: retry a dropped connection when fetching a finished cloud job pytest-check #922: Pull request #238 opened by ericeil
1m 38s eric/cloud-fetch-retry
eric/cloud-fetch-retry
1m 38s
prover: retry a dropped connection when fetching a finished cloud job pyright-check #922: Pull request #238 opened by ericeil
29s eric/cloud-fetch-retry
eric/cloud-fetch-retry
29s
Pass exclude_rules through the plugin-facing prover runner pyright-check #921: Pull request #236 opened by shellygr
34s shelly/timeout-resolver-runner-fix
shelly/timeout-resolver-runner-fix
34s
Pass exclude_rules through the plugin-facing prover runner pytest-check #921: Pull request #236 opened by shellygr
1m 31s shelly/timeout-resolver-runner-fix
shelly/timeout-resolver-runner-fix
1m 31s
autosetup: curate Solady SafeTransferLib and AuthorityUtils.canCallWithDelay pyright-check #920: Pull request #231 synchronize by jar-ben
38s jaroslav/curated-solady-safetransferlib
jaroslav/curated-solady-safetransferlib
38s
autosetup: curate Solady SafeTransferLib and AuthorityUtils.canCallWithDelay pytest-check #920: Pull request #231 synchronize by jar-ben
1m 37s jaroslav/curated-solady-safetransferlib
jaroslav/curated-solady-safetransferlib
1m 37s
Multi-spec buffers: parallel, per-precision CVL verification pytest-check #919: Pull request #215 synchronize by jar-ben
1m 40s jaroslav/multi-spec-buffers-v2
jaroslav/multi-spec-buffers-v2
1m 40s
Multi-spec buffers: parallel, per-precision CVL verification pyright-check #919: Pull request #215 synchronize by jar-ben
35s jaroslav/multi-spec-buffers-v2
jaroslav/multi-spec-buffers-v2
35s
Multi-spec buffers: parallel, per-precision CVL verification pyright-check #918: Pull request #215 synchronize by jar-ben
40s jaroslav/multi-spec-buffers-v2
jaroslav/multi-spec-buffers-v2
40s
Multi-spec buffers: parallel, per-precision CVL verification pytest-check #918: Pull request #215 synchronize by jar-ben
1m 58s jaroslav/multi-spec-buffers-v2
jaroslav/multi-spec-buffers-v2
1m 58s
CloudRunner: unified early-stop infra (preprocessing watchdog + stop-on-first-violation) pyright-check #917: Pull request #234 synchronize by jar-ben
38s jaroslav/cloud-early-stop-checkers
jaroslav/cloud-early-stop-checkers
38s
CloudRunner: unified early-stop infra (preprocessing watchdog + stop-on-first-violation) pytest-check #917: Pull request #234 synchronize by jar-ben
1m 31s jaroslav/cloud-early-stop-checkers
jaroslav/cloud-early-stop-checkers
1m 31s
Multi-spec buffers: parallel, per-precision CVL verification pyright-check #916: Pull request #215 synchronize by jar-ben
34s jaroslav/multi-spec-buffers-v2
jaroslav/multi-spec-buffers-v2
34s
Multi-spec buffers: parallel, per-precision CVL verification pytest-check #916: Pull request #215 synchronize by jar-ben
1m 34s jaroslav/multi-spec-buffers-v2
jaroslav/multi-spec-buffers-v2
1m 34s
CloudRunner: unified early-stop infra (preprocessing watchdog + stop-on-first-violation) pytest-check #915: Pull request #234 synchronize by jar-ben
1m 43s jaroslav/cloud-early-stop-checkers
jaroslav/cloud-early-stop-checkers
1m 43s
CloudRunner: unified early-stop infra (preprocessing watchdog + stop-on-first-violation) pyright-check #915: Pull request #234 synchronize by jar-ben
42s jaroslav/cloud-early-stop-checkers
jaroslav/cloud-early-stop-checkers
42s
CloudRunner: unified early-stop infra (preprocessing watchdog + stop-on-first-violation) pytest-check #914: Pull request #234 opened by jar-ben
1m 37s jaroslav/cloud-early-stop-checkers
jaroslav/cloud-early-stop-checkers
1m 37s
CloudRunner: unified early-stop infra (preprocessing watchdog + stop-on-first-violation) pyright-check #914: Pull request #234 opened by jar-ben
39s jaroslav/cloud-early-stop-checkers
jaroslav/cloud-early-stop-checkers
39s
autosetup: preprocessing watchdog — cancel cloud jobs stuck in prover preprocessing pyright-check #913: Pull request #84 synchronize by jar-ben
1m 14s shelly/preprocessing-watchdog
shelly/preprocessing-watchdog
1m 14s
autosetup: preprocessing watchdog — cancel cloud jobs stuck in prover preprocessing pytest-check #913: Pull request #84 synchronize by jar-ben
1m 44s shelly/preprocessing-watchdog
shelly/preprocessing-watchdog
1m 44s
Integration Tests Integration Tests #115: Scheduled
11m 38s master
master
11m 38s
authoring: satisfy the rough-draft gate on write instead of a second … pytest-check #912: Commit e6f9e2e pushed by ericeil
1m 35s master
master
1m 35s
authoring: satisfy the rough-draft gate on write instead of a second … pyright-check #912: Commit e6f9e2e pushed by ericeil
39s master
master
39s
authoring: satisfy the rough-draft gate on write instead of a second read (stops judges composing every verdict twice) pytest-check #911: Pull request #233 synchronize by ericeil
2m 5s eric/judge-loop
eric/judge-loop
2m 5s
authoring: satisfy the rough-draft gate on write instead of a second read (stops judges composing every verdict twice) pyright-check #911: Pull request #233 synchronize by ericeil
39s eric/judge-loop
eric/judge-loop
39s