Test opam package

bump bedrock2, use "always" in GarageDoor spec (#1846) #832

Sign in to view logs

Triggered via push April 2, 2024 22:22

master

Status Success

Total duration 1h 38m 52s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install

Annotations

2 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 (dev, 4.11.1, macOS, macos-latest)

darcs has been deprecated because it depends on GHC 8.10 to build!