Skip to content
PR Testing

migrate to new satisfiliability check #2186

Sign in to view logs

migrate to new satisfiliability check

migrate to new satisfiliability check #2186

Triggered via pull request February 27, 2025 15:53
@oclawoclaw
synchronize #346
feature/multithread_sat_check
Status Success
Total duration 1h 13m 26s
Artifacts 1

pull-request.yml

on: pull_request
Verify Circuit Proof  /  Produce and verify proofs
3m 1s
Verify Circuit Proof / Produce and verify proofs
Gcc release full Linux testing  /  Build and test Linux with gcc
1h 12m
Gcc release full Linux testing / Build and test Linux with gcc
Clang release full Linux testing  /  Build and test Linux with clang
1h 0m
Clang release full Linux testing / Build and test Linux with clang
Verify Hardhat Proofs  /  Verify hardhat proofs
7m 27s
Verify Hardhat Proofs / Verify hardhat proofs
Build and upload deb package  /  Build proof-producer deb package
9m 1s
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