CI (Coq, opam) #33
JasonGrossAnnotations
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
|