Skip to content

Actions: starkware-libs/proving-utils

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
Pin GitHub Action to SHA Main-CI-PR-Flow #1115: Pull request #411 edited by phil-starkware
10m 17s pin-github-actions-to-sha
pin-github-actions-to-sha
10m 17s
Pin GitHub Action to SHA Main-CI-PR-Flow #1114: Pull request #411 opened by sobhe-Starkware
8s pin-github-actions-to-sha
pin-github-actions-to-sha
8s
Pin GitHub Action to SHA check #2138: Pull request #411 opened by sobhe-Starkware
10m 9s pin-github-actions-to-sha
pin-github-actions-to-sha
10m 9s
Upload leaf_prover and recursive_tree arch binaries check #2137: Pull request #410 opened by YairVaknin-starkware
10m 4s yairv/add_new_bins_to_ul_workflows
yairv/add_new_bins_to_ul_workflows
10m 4s
Upload leaf_prover and recursive_tree arch binaries Main-CI-PR-Flow #1113: Pull request #410 opened by YairVaknin-starkware
9m 5s yairv/add_new_bins_to_ul_workflows
yairv/add_new_bins_to_ul_workflows
9m 5s
Upload leaf_prover and recursive_tree arch binaries check #2136: Pull request #410 synchronize by YairVaknin-starkware
9m 25s yairv/add_new_bins_to_ul_workflows
yairv/add_new_bins_to_ul_workflows
9m 25s
Upload leaf_prover and recursive_tree arch binaries Main-CI-PR-Flow #1112: Pull request #410 synchronize by YairVaknin-starkware
5m 15s yairv/add_new_bins_to_ul_workflows
yairv/add_new_bins_to_ul_workflows
5m 15s
test Upload-Artifacts #412: Commit ef420cc pushed by YairVaknin-starkware
4m 46s yairv/add_new_bins_to_ul_workflows
yairv/add_new_bins_to_ul_workflows
4m 46s
Upload leaf_prover and recursive_tree arch binaries Upload-Artifacts #411: Commit 404fbdb pushed by YairVaknin-starkware
39m 37s yairv/add_new_bins_to_ul_workflows
yairv/add_new_bins_to_ul_workflows
39m 37s
test Upload-Artifacts #410: Commit ef420cc pushed by YairVaknin-starkware
4m 56s yairv/add_new_bins_to_ul_workflows
yairv/add_new_bins_to_ul_workflows
4m 56s
feat(circuit_params): build the leaf circuit from a real program Main-CI-PR-Flow #1111: Pull request #409 edited by phil-starkware
27s ilya/circuit-params-program
ilya/circuit-params-program
27s
test Upload-Artifacts #409: Commit ef420cc pushed by YairVaknin-starkware
30m 7s yairv/add_new_bins_to_ul_workflows
yairv/add_new_bins_to_ul_workflows
30m 7s
feat(circuit_params): build the leaf circuit from a real program check #2135: Pull request #409 opened by ilyalesokhin-starkware
3m 2s ilya/circuit-params-program
ilya/circuit-params-program
3m 2s
feat(circuit_params): build the leaf circuit from a real program Main-CI-PR-Flow #1110: Pull request #409 opened by ilyalesokhin-starkware
1m 49s ilya/circuit-params-program
ilya/circuit-params-program
1m 49s
feat(leaf_prover): pad and validate the leaf circuit against the registry Main-CI-PR-Flow #1109: Pull request #407 edited by ilyalesokhin-starkware
1m 45s ilya/leaf-registry-padding
ilya/leaf-registry-padding
1m 45s
feat(leaf_prover): pad and validate the leaf circuit against the registry check #2134: Pull request #407 synchronize by ilyalesokhin-starkware
2m 57s ilya/leaf-registry-padding
ilya/leaf-registry-padding
2m 57s
feat(leaf_prover): pad and validate the leaf circuit against the registry Main-CI-PR-Flow #1108: Pull request #407 synchronize by ilyalesokhin-starkware
6s ilya/leaf-registry-padding
ilya/leaf-registry-padding
6s
feat(leaf_prover): pad and validate the leaf circuit against the registry check #2133: Pull request #407 synchronize by ilyalesokhin-starkware
3m 6s ilya/leaf-registry-padding
ilya/leaf-registry-padding
3m 6s
feat(leaf_prover): pad and validate the leaf circuit against the registry Main-CI-PR-Flow #1107: Pull request #407 synchronize by ilyalesokhin-starkware
1s ilya/leaf-registry-padding
ilya/leaf-registry-padding
1s
feat(circuit_params): add --registry JSON output Main-CI-PR-Flow #1106: Pull request #399 synchronize by ilyalesokhin-starkware
11m 17s ilya/circuit-params-format
ilya/circuit-params-format
11m 17s
feat(circuit_params): add --registry JSON output check #2132: Pull request #399 synchronize by ilyalesokhin-starkware
11m 11s ilya/circuit-params-format
ilya/circuit-params-format
11m 11s
feat(leaf_prover): pad and validate the leaf circuit against the registry Main-CI-PR-Flow #1105: Pull request #407 edited by ilyalesokhin-starkware
32s ilya/leaf-registry-padding
ilya/leaf-registry-padding
32s
Bump stwo-circuits, stwo-cairo and stwo. (#408) check #2131: Commit 4c777d3 pushed by ilyalesokhin-starkware
12m 40s main
main
12m 40s
Bump stwo-circuits, stwo-cairo and stwo. (#408) Upload-Artifacts #408: Commit 4c777d3 pushed by ilyalesokhin-starkware
27m 52s main
main
27m 52s
Bump stwo-circuits. Main-CI-PR-Flow #1104: Pull request #408 synchronize by ilyalesokhin-starkware
12m 53s ilya/bump
ilya/bump
12m 53s