Tests

remove uneeded dependency #4123

Sign in to view logs

Triggered via push October 26, 2025 00:21

shinnar

update

Status Failure

Total duration 8m 4s

Artifacts –

build.yml

on: push

Matrix: Build

Annotations

1 error

Build (rocq/rocq-prover:9.0.1-ocaml-4.14.2-flambda)

Process completed with exit code 2.