Skip to content
CI (Coq, opam)

Update coq-timing-diff.yml #64

Sign in to view logs

Update coq-timing-diff.yml

Update coq-timing-diff.yml #64

Triggered via push March 4, 2025 21:39
@JasonGrossJasonGross
pushed d3c2af5
master
Status Success
Total duration 1h 36m 31s
Artifacts –

coq-opam-package.yml

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

Annotations

4 warnings
install (dev, 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.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.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