Skip to content
Test opam package

Bump rupicola from 2aa6b13 to e849928 (#1850) #835

Sign in to view logs

Bump rupicola from 2aa6b13 to e849928 (#1850)

Bump rupicola from 2aa6b13 to e849928 (#1850) #835

Triggered via push April 4, 2024 21:57
@JasonGrossJasonGross
pushed a5b9fae
master
Status Success
Total duration 1h 38m 55s
Artifacts –

coq-opam-package.yml

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

Annotations

3 warnings
install (dev, 4.11.1, macOS, macos-latest)
darcs has been deprecated because it depends on GHC 8.10 to build!
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!