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

Triggered via pull request October 30, 2024 20:34

clarus

synchronize #2

Status Failure

Total duration 2m 52s

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