Skip to content
PR Testing

migrate to new satisfiliability check #2178

Sign in to view logs

migrate to new satisfiliability check

migrate to new satisfiliability check #2178

Triggered via pull request February 27, 2025 12:34
@oclawoclaw
synchronize #346
feature/multithread_sat_check
Status Success
Total duration 59m 0s
Artifacts 1

pull-request.yml

on: pull_request
Verify Circuit Proof  /  Produce and verify proofs
2m 55s
Verify Circuit Proof / Produce and verify proofs
Gcc release full Linux testing  /  Build and test Linux with gcc
58m 50s
Gcc release full Linux testing / Build and test Linux with gcc
Clang release full Linux testing  /  Build and test Linux with clang
45m 0s
Clang release full Linux testing / Build and test Linux with clang
Verify Hardhat Proofs  /  Verify hardhat proofs
3m 17s
Verify Hardhat Proofs / Verify hardhat proofs
Build and upload deb package  /  Build proof-producer deb package
8m 27s
Build and upload deb package / Build proof-producer deb package
Verify Circuit Proof  /  ...  /  verify-proofs
1m 18s
Verify Circuit Proof / Verify proofs / verify-proofs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
proofs
477 KB