Draft: Add Coq to the CI · formal-land/rocq-of-noir@22539a0

Triggered via pull request October 30, 2024 18:02

clarus

synchronize #2

Status Failure

Total duration 2m 54s

Artifacts 1

formatting.yml

on: pull_request

Matrix: cargo clippy

1 error

Process completed with exit code 101.

Produced during runtime

Name	Size
nargo Expired	11.9 MB