Removed unused is-const-size
#2010
This workflow is awaiting approval from a maintainer in #307
Triggered via pull request
February 18, 2025 17:10
EduMenges
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #307
pull-request.yml
on: pull_request
Verify Circuit Proof
/
Produce and verify proofs
Build and upload deb package
/
Build proof-producer deb package
Clang release full Linux testing
/
Build and test Linux with clang
Gcc release full Linux testing
/
Build and test Linux with gcc
Verify Proof
/
Verify proofs by means of proof-producer
Verify Circuit Proof
/
...
/
verify-proofs