Skip to content

Actions: Certora/AutoProver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,968 workflow runs
1,968 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
Fix issues that made long runs fail or hang pyright-check #698: Pull request #182 opened by chandrakananandi
39s cnandi/run-hardening
cnandi/run-hardening
39s
Fix issues that made long runs fail or hang pytest-check #698: Pull request #182 opened by chandrakananandi
1m 33s cnandi/run-hardening
cnandi/run-hardening
1m 33s
ci: split the wire round trips out of the fuzz marker (#181) pytest-check #697: Commit 30ed3c1 pushed by ericeil
1m 26s master
master
1m 26s
ci: split the wire round trips out of the fuzz marker (#181) Lockfile check #173: Commit 30ed3c1 pushed by ericeil
12s master
master
12s
ci: split the wire round trips out of the fuzz marker (#181) pyright-check #697: Commit 30ed3c1 pushed by ericeil
37s master
master
37s
ci: split the wire round trips out of the fuzz marker pytest-check #696: Pull request #181 synchronize by ericeil
1m 33s eric/fuzzFix
eric/fuzzFix
1m 33s
ci: split the wire round trips out of the fuzz marker Pin sync #217: Pull request #181 synchronize by ericeil
13s eric/fuzzFix
eric/fuzzFix
13s
ci: split the wire round trips out of the fuzz marker pyright-check #696: Pull request #181 synchronize by ericeil
35s eric/fuzzFix
eric/fuzzFix
35s
ci: split the wire round trips out of the fuzz marker Lockfile check #172: Pull request #181 synchronize by ericeil
12s eric/fuzzFix
eric/fuzzFix
12s
ci: split the wire round trips out of the fuzz marker pytest-check #695: Pull request #181 synchronize by ericeil
1m 43s eric/fuzzFix
eric/fuzzFix
1m 43s
ci: split the wire round trips out of the fuzz marker Pin sync #216: Pull request #181 synchronize by ericeil
16s eric/fuzzFix
eric/fuzzFix
16s
ci: split the wire round trips out of the fuzz marker pyright-check #695: Pull request #181 synchronize by ericeil
34s eric/fuzzFix
eric/fuzzFix
34s
ci: split the wire round trips out of the fuzz marker Lockfile check #171: Pull request #181 synchronize by ericeil
12s eric/fuzzFix
eric/fuzzFix
12s
ci: split the wire round trips out of the fuzz marker pyright-check #694: Pull request #181 opened by ericeil
31s eric/fuzzFix
eric/fuzzFix
31s
ci: split the wire round trips out of the fuzz marker pytest-check #694: Pull request #181 opened by ericeil
1m 27s eric/fuzzFix
eric/fuzzFix
1m 27s
autosetup: preprocessing watchdog — cancel cloud jobs stuck in prover preprocessing pyright-check #693: Pull request #84 synchronize by shellygr
39s shelly/preprocessing-watchdog
shelly/preprocessing-watchdog
39s
autosetup: preprocessing watchdog — cancel cloud jobs stuck in prover preprocessing pytest-check #693: Pull request #84 synchronize by shellygr
1m 42s shelly/preprocessing-watchdog
shelly/preprocessing-watchdog
1m 42s
autosetup: keep the named main contract in the scene pytest-check #692: Pull request #165 synchronize by shellygr
1m 34s shelly/main-contract-in-scope
shelly/main-contract-in-scope
1m 34s
autosetup: keep the named main contract in the scene pyright-check #692: Pull request #165 synchronize by shellygr
37s shelly/main-contract-in-scope
shelly/main-contract-in-scope
37s
autosetup: converge the compilation-workaround loop instead of timing out pytest-check #691: Pull request #134 synchronize by shellygr
1m 31s shelly/workaround-loop-convergence
shelly/workaround-loop-convergence
1m 31s
autosetup: converge the compilation-workaround loop instead of timing out pyright-check #691: Pull request #134 synchronize by shellygr
38s shelly/workaround-loop-convergence
shelly/workaround-loop-convergence
38s
autosetup: try the optimizer under legacy codegen before reaching for via-ir pyright-check #690: Pull request #180 synchronize by shellygr
42s shelly/stack-too-deep-optimizer-first
shelly/stack-too-deep-optimizer-first
42s
autosetup: try the optimizer under legacy codegen before reaching for via-ir pytest-check #690: Pull request #180 synchronize by shellygr
1m 39s shelly/stack-too-deep-optimizer-first
shelly/stack-too-deep-optimizer-first
1m 39s
autosetup: pick the build system and the artifact directory from arti… pyright-check #689: Commit 677e918 pushed by shellygr
41s master
master
41s
autosetup: pick the build system and the artifact directory from arti… pytest-check #689: Commit 677e918 pushed by shellygr
1m 44s master
master
1m 44s