Skip to content

Actions: Certora/AutoProver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,110 workflow runs
2,110 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
Integration Tests Integration Tests #97: Scheduled
11m 20s master
master
11m 20s
Jaroslav/reset dev to master Pin sync #231: Pull request #196 opened by jar-ben
14s jaroslav/reset-dev-to-master
jaroslav/reset-dev-to-master
14s
Jaroslav/reset dev to master pyright-check #746: Pull request #196 opened by jar-ben
41s jaroslav/reset-dev-to-master
jaroslav/reset-dev-to-master
41s
Jaroslav/reset dev to master sandbox-escape (kernel 6.1) #97: Pull request #196 opened by jar-ben
2m 38s jaroslav/reset-dev-to-master
jaroslav/reset-dev-to-master
2m 38s
Jaroslav/reset dev to master pytest-check #746: Pull request #196 opened by jar-ben
1m 31s jaroslav/reset-dev-to-master
jaroslav/reset-dev-to-master
1m 31s
summarization_detector: standalone summarization-target detector pyright-check #745: Pull request #193 synchronize by jar-ben
40s jaroslav/summarization-detector
jaroslav/summarization-detector
40s
summarization_detector: standalone summarization-target detector Lockfile check #190: Pull request #193 synchronize by jar-ben
11s jaroslav/summarization-detector
jaroslav/summarization-detector
11s
summarization_detector: standalone summarization-target detector pytest-check #745: Pull request #193 synchronize by jar-ben
1m 29s jaroslav/summarization-detector
jaroslav/summarization-detector
1m 29s
summarization_detector: standalone summarization-target detector Pin sync #230: Pull request #193 synchronize by jar-ben
11s jaroslav/summarization-detector
jaroslav/summarization-detector
11s
Bump certora-cli 8.18.0 -> 8.19.1 (#195) pyright-check #744: Commit 5ca172d pushed by jar-ben
40s master
master
40s
Bump certora-cli 8.18.0 -> 8.19.1 (#195) Lockfile check #189: Commit 5ca172d pushed by jar-ben
13s master
master
13s
Bump certora-cli 8.18.0 -> 8.19.1 (#195) pytest-check #744: Commit 5ca172d pushed by jar-ben
1m 39s master
master
1m 39s
Bump certora-cli 8.18.0 -> 8.19.1 pyright-check #743: Pull request #195 opened by jar-ben
35s jaroslav/bump-certora-cli-8.19.1
jaroslav/bump-certora-cli-8.19.1
35s
Bump certora-cli 8.18.0 -> 8.19.1 Pin sync #229: Pull request #195 opened by jar-ben
15s jaroslav/bump-certora-cli-8.19.1
jaroslav/bump-certora-cli-8.19.1
15s
Bump certora-cli 8.18.0 -> 8.19.1 Lockfile check #188: Pull request #195 opened by jar-ben
10s jaroslav/bump-certora-cli-8.19.1
jaroslav/bump-certora-cli-8.19.1
10s
Bump certora-cli 8.18.0 -> 8.19.1 pytest-check #743: Pull request #195 opened by jar-ben
1m 31s jaroslav/bump-certora-cli-8.19.1
jaroslav/bump-certora-cli-8.19.1
1m 31s
summarization_detector: standalone summarization-target detector Pin sync #228: Pull request #193 synchronize by jar-ben
12s jaroslav/summarization-detector
jaroslav/summarization-detector
12s
summarization_detector: standalone summarization-target detector pyright-check #742: Pull request #193 synchronize by jar-ben
39s jaroslav/summarization-detector
jaroslav/summarization-detector
39s
summarization_detector: standalone summarization-target detector pytest-check #742: Pull request #193 synchronize by jar-ben
1m 34s jaroslav/summarization-detector
jaroslav/summarization-detector
1m 34s
summarization_detector: standalone summarization-target detector Lockfile check #187: Pull request #193 synchronize by jar-ben
13s jaroslav/summarization-detector
jaroslav/summarization-detector
13s
Bump certora-prover-cli 0.1.0 -> 0.2.1 in the lock (#194) pyright-check #741: Commit 225c386 pushed by jar-ben
38s master
master
38s
Bump certora-prover-cli 0.1.0 -> 0.2.1 in the lock (#194) Lockfile check #186: Commit 225c386 pushed by jar-ben
12s master
master
12s
Bump certora-prover-cli 0.1.0 -> 0.2.1 in the lock (#194) pytest-check #741: Commit 225c386 pushed by jar-ben
1m 31s master
master
1m 31s
summarization_detector: standalone summarization-target detector pytest-check #740: Pull request #193 synchronize by jar-ben
1m 40s jaroslav/summarization-detector
jaroslav/summarization-detector
1m 40s
summarization_detector: standalone summarization-target detector pyright-check #740: Pull request #193 synchronize by jar-ben
39s jaroslav/summarization-detector
jaroslav/summarization-detector
39s