Upload *.timing files on failure (#2012) #937
Annotations
2 errors and 1 warning
|
The run was canceled by @JasonGross.
|
|
Run opam pin --kind=version add coq 8.20.0
The operation was canceled.
|
|
Work around https://github.com/ocaml/opam-repository/pull/26891#issuecomment-2486598516
pkgconf 2.3.0_1 is already installed, it's just not linked.
To link this version, run:
brew link pkgconf
|
Loading