Skip to content
PR Testing

migrate to new satisfiliability check #2175

Sign in to view logs

migrate to new satisfiliability check

migrate to new satisfiliability check #2175

Triggered via pull request February 27, 2025 11:15
@oclawoclaw
synchronize #346
feature/multithread_sat_check
Status Success
Total duration 1h 4m 4s
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
1h 1m
Gcc release full Linux testing / Build and test Linux with gcc
Clang release full Linux testing  /  Build and test Linux with clang
48m 36s
Clang release full Linux testing / Build and test Linux with clang
Verify Hardhat Proofs  /  Verify hardhat proofs
2m 44s
Verify Hardhat Proofs / Verify hardhat proofs
Build and upload deb package  /  Build proof-producer deb package
7m 57s
Build and upload deb package / Build proof-producer deb package
Verify Circuit Proof  /  ...  /  verify-proofs
1m 21s
Verify Circuit Proof / Verify proofs / verify-proofs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
proofs
477 KB