Skip to content

Support compact AND-composed sigma proof #10521

Support compact AND-composed sigma proof

Support compact AND-composed sigma proof #10521

Triggered via pull request April 10, 2026 22:57
Status Skipped
Total duration 1s
Artifacts

on-pr.yml

on: pull_request
should-run
0s
should-run
Matrix: build-test
Waiting for pending jobs
clang-tidy  /  Determine files to check
clang-tidy / Determine files to check
check-levelization  /  levelization
check-levelization / levelization
check-rename  /  rename
check-rename / rename
upload-recipe  /  upload
upload-recipe / upload
clang-tidy  /  ...  /  Run clang tidy
clang-tidy / run-clang-tidy / Run clang tidy
notify-clio
0s
notify-clio
Fit to window
Zoom out
Zoom in