Skip to content
Test opam package

done #839

Sign in to view logs

done

done #839

Triggered via push April 6, 2024 20:44
@samuelgruettersamuelgruetter
pushed 3667669
master
Status Success
Total duration 1h 42m 10s
Artifacts –

coq-opam-package.yml

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

Annotations

3 warnings
install (8.19.0, 4.11.1, macOS, macos-latest)
darcs has been deprecated because it depends on GHC 8.10 to build!
install (8.18.0, 4.11.1, macOS, macos-latest)
darcs has been deprecated because it depends on GHC 8.10 to build!
install (dev, 4.11.1, macOS, macos-latest)
darcs has been deprecated because it depends on GHC 8.10 to build!