Test opam package

CI (Coq, opam) #35

Sign in to view logs

Triggered via schedule February 1, 2024 00:39

JasonGross

master

Status Failure

Total duration 1h 38m 36s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq-opam-package.yml

on: schedule

Matrix: install

Annotations

1 error

install (8.18.0, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opa...

The process 'D:\cygwin\wrapperbin\opam.cmd' failed with exit code 31