Skip to content
Tests

remove uneeded dependency and test with 9.0.1 and 9.1.0 in github #4122

Sign in to view logs

remove uneeded dependency and test with 9.0.1 and 9.1.0 in github

remove uneeded dependency and test with 9.0.1 and 9.1.0 in github #4122

Triggered via push October 26, 2025 00:08
@shinnarshinnar
pushed b03c23c
update
Status Failure
Total duration 1m 33s
Artifacts –

build.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build (rocq/rocq-prover:9.1.0-ocaml-4.14.2-flambda)
Process completed with exit code 20.
Build (rocq/rocq-prover:9.0.1-ocaml-4.14.2-flambda)
The strategy configuration was canceled because "build.rocq_rocq-prover_9_1_0-oc" failed
Build (rocq/rocq-prover:9.0.1-ocaml-4.14.2-flambda)
The operation was canceled.