Test opam package

CI (Coq, opam) #894

Sign in to view logs

Triggered via schedule August 1, 2024 01:18

JasonGross

master

Status Failure

Total duration 47m 7s

Artifacts –

coq-opam-package.yml

on: schedule

Matrix: install

Annotations

6 errors

install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...

The process 'C:\hostedtoolcache\windows\opam\2.2.0\x86_64\opam.exe' failed with exit code 31

install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...

Process completed with exit code 1.

install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...

Process completed with exit code 1.

install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...

The process 'C:\hostedtoolcache\windows\opam\2.2.0\x86_64\opam.exe' failed with exit code 31

install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...

Process completed with exit code 1.

install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...

The process 'C:\hostedtoolcache\windows\opam\2.2.0\x86_64\opam.exe' failed with exit code 31