PR Testing

proof-producer: rw & zkevm sat check fixes #1179

Sign in to view logs

Triggered via pull request December 10, 2024 16:58

oclaw

synchronize #183

fix/rw-circuit-sorted-ops

Status Cancelled

Total duration 2h 11m 24s

Artifacts 2

pull-request.yml

on: pull_request

Check Proof Producer / Prepare targets strings

Check Proof Producer / Get zkLLVM run to use artifacts from

Verify Circuit Proof / Produce and verify proofs

Linux placeholder testing with gcc / Build and test Linux with gcc

Linux placeholder testing with clang / Build and test Linux with clang

Check Proof Producer / Build prover, generate proofs for circuits

Verify Circuit Proof / ... / verify-proofs

Check Proof Producer / ... / run-tests

Annotations

3 errors and 1 warning

Check Proof Producer / Build prover, generate proofs for circuits

Process completed with exit code 2.

Linux placeholder testing with gcc / Build and test Linux with gcc

Canceling since a higher priority waiting request for 'PR Testing/refs/pull/183/merge' exists

Linux placeholder testing with gcc / Build and test Linux with gcc

The operation was canceled.

Deprecation notice: v1, v2, and v3 of the artifact actions

The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "transpiler-output-merged-proofs". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

Artifacts

Produced during runtime

Name	Size
proofs	477 KB
transpiler-output-merged-proofs	4.49 MB