Skip to content

Actions: starkware-libs/proving-utils

Actions

Main-CI-PR-Flow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main_pr_ci_flow.yaml
859 workflow runs
859 workflow runs

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
Correct typos. Main-CI-PR-Flow #870: Pull request #384 synchronize by leo-starkware
8m 53s leo/typos
leo/typos
8m 53s
Correct typos. Main-CI-PR-Flow #869: Pull request #384 edited by phil-starkware
11m 45s leo/typos
leo/typos
11m 45s
Correct typos. Main-CI-PR-Flow #868: Pull request #384 opened by leo-starkware
14s leo/typos
leo/typos
14s
Add multiverifier folding to the recursive tree prover Main-CI-PR-Flow #867: Pull request #381 synchronize by YairVaknin-starkware
6m 48s yairv/add_multiverifier_support_for_recursive_tree_prover
yairv/add_multiverifier_support_for_recursive_tree_prover
6m 48s
Add multiverifier folding to the recursive tree prover Main-CI-PR-Flow #866: Pull request #381 synchronize by YairVaknin-starkware
11m 26s yairv/add_multiverifier_support_for_recursive_tree_prover
yairv/add_multiverifier_support_for_recursive_tree_prover
11m 26s
Add multiverifier folding to the recursive tree prover Main-CI-PR-Flow #865: Pull request #381 synchronize by YairVaknin-starkware
8m 52s yairv/add_multiverifier_support_for_recursive_tree_prover
yairv/add_multiverifier_support_for_recursive_tree_prover
8m 52s
Add leaf prover Main-CI-PR-Flow #864: Pull request #366 synchronize by az-starkware
11m 56s adar/leaf_prover
adar/leaf_prover
11m 56s
Add leaf prover Main-CI-PR-Flow #863: Pull request #366 synchronize by az-starkware
9m 52s adar/leaf_prover
adar/leaf_prover
9m 52s
Add leaf prover Main-CI-PR-Flow #862: Pull request #366 synchronize by az-starkware
13m 14s adar/leaf_prover
adar/leaf_prover
13m 14s
Add leaf prover Main-CI-PR-Flow #861: Pull request #366 synchronize by az-starkware
49s adar/leaf_prover
adar/leaf_prover
49s
Add leaf prover Main-CI-PR-Flow #860: Pull request #366 synchronize by az-starkware
4m 13s adar/leaf_prover
adar/leaf_prover
4m 13s
Add leaf prover Main-CI-PR-Flow #859: Pull request #366 synchronize by az-starkware
49s adar/leaf_prover
adar/leaf_prover
49s
Add leaf prover Main-CI-PR-Flow #858: Pull request #366 synchronize by az-starkware
48s adar/leaf_prover
adar/leaf_prover
48s
Add leaf prover Main-CI-PR-Flow #857: Pull request #366 synchronize by az-starkware
4m 47s adar/leaf_prover
adar/leaf_prover
4m 47s
Bump_sc Main-CI-PR-Flow #856: Pull request #383 edited by phil-starkware
10m 19s yairv/bump_sc
yairv/bump_sc
10m 19s
Bump_sc Main-CI-PR-Flow #855: Pull request #383 opened by YairVaknin-starkware
11s yairv/bump_sc
yairv/bump_sc
11s
Add leaf prover Main-CI-PR-Flow #854: Pull request #366 synchronize by az-starkware
4m 52s adar/leaf_prover
adar/leaf_prover
4m 52s
Add leaf prover Main-CI-PR-Flow #853: Pull request #366 synchronize by az-starkware
44s adar/leaf_prover
adar/leaf_prover
44s
Add leaf prover Main-CI-PR-Flow #852: Pull request #366 synchronize by az-starkware
49s adar/leaf_prover
adar/leaf_prover
49s
update commit in upload_artifacts_workflow Main-CI-PR-Flow #851: Pull request #382 synchronize by noa-starkware
27m 48s noa/update-commit-upload_artifacts_workflow
noa/update-commit-upload_artifacts_workflow
27m 48s
update commit in upload_artifacts_workflow Main-CI-PR-Flow #850: Pull request #382 synchronize by noa-starkware
1m 39s noa/update-commit-upload_artifacts_workflow
noa/update-commit-upload_artifacts_workflow
1m 39s
update commit in upload_artifacts_workflow Main-CI-PR-Flow #849: Pull request #382 edited by phil-starkware
8m 16s noa/update-commit-upload_artifacts_workflow
noa/update-commit-upload_artifacts_workflow
8m 16s
update commit in upload_artifacts_workflow Main-CI-PR-Flow #848: Pull request #382 opened by noa-starkware
9s noa/update-commit-upload_artifacts_workflow
noa/update-commit-upload_artifacts_workflow
9s
Add multiverifier folding to the recursive tree prover Main-CI-PR-Flow #847: Pull request #381 synchronize by YairVaknin-starkware
6m 50s yairv/add_multiverifier_support_for_recursive_tree_prover
yairv/add_multiverifier_support_for_recursive_tree_prover
6m 50s
Add multiverifier folding to the recursive tree prover Main-CI-PR-Flow #846: Pull request #381 edited by phil-starkware
9m 16s yairv/add_multiverifier_support_for_recursive_tree_prover
yairv/add_multiverifier_support_for_recursive_tree_prover
9m 16s