Skip to content
CI (Coq, opam)

Upload *.timing files on failure (#2012) #937

Sign in to view logs

Upload *.timing files on failure (#2012)

Upload *.timing files on failure (#2012) #937

Triggered via push February 5, 2025 23:37
@JasonGrossJasonGross
pushed 6f9b5df
master
Status Cancelled
Total duration 8m 27s
Artifacts –

coq-opam-package.yml

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

Annotations

22 errors and 4 warnings
install (dev, macOS, macos-latest, 4.14.2)
The run was canceled by @JasonGross.
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
The run was canceled by @JasonGross.
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
The operation was canceled.
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
The run was canceled by @JasonGross.
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
The operation was canceled.
install (8.20.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
The run was canceled by @JasonGross.
install (8.20.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
The operation was canceled.
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...
The run was canceled by @JasonGross.
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...
The operation was canceled.
install (8.20.0, Ubuntu, ubuntu-latest, 4.09.1)
The run was canceled by @JasonGross.
install (8.20.0, Ubuntu, ubuntu-latest, 4.09.1)
The operation was canceled.
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
The run was canceled by @JasonGross.
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
The operation was canceled.
install (8.19.0, macOS, macos-latest, 4.14.2)
The run was canceled by @JasonGross.
install (8.19.0, macOS, macos-latest, 4.14.2)
The operation was canceled.
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
The run was canceled by @JasonGross.
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
The operation was canceled.
install (8.20.0, macOS, macos-latest, 4.14.2)
The run was canceled by @JasonGross.
install (8.20.0, macOS, macos-latest, 4.14.2)
The operation was canceled.
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
The run was canceled by @JasonGross.
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
The operation was canceled.
install (8.18.0, macOS, macos-latest, 4.14.2)
The run was canceled by @JasonGross.
install (8.19.0, macOS, macos-latest, 4.14.2)
pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf
install (8.20.0, macOS, macos-latest, 4.14.2)
pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf
install (8.18.0, macOS, macos-latest, 4.14.2)
Runner GitHub Actions 15 did not respond to a cancelation request with 00:05:00.
install (8.18.0, macOS, macos-latest, 4.14.2)
pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf