Skip to content
Test opam package

Test opam package #33

Sign in to view logs

Test opam package

Test opam package #33

Triggered via schedule December 1, 2023 00:42
@JasonGrossJasonGross
⁠ ca174d7
master
Status Failure
Total duration 1h 34m 3s
Artifacts –

coq-opam-package.yml

on: schedule
Matrix: install
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 2 notices
install (dev, 4.11.1, ubuntu-latest)
Process completed with exit code 31.
install (dev, 4.11.1, macos-latest)
Process completed with exit code 31.
install (dev, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opam-r...
Process completed with exit code 1.
install (dev, 4.11.1, macos-latest)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/local/bin/brew' failed with exit code 1
install (8.17.0, 4.11.1, macos-latest)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/local/bin/brew' failed with exit code 1