Test opam package

CI (Coq, opam) #34

Sign in to view logs

Triggered via schedule January 1, 2024 00:43

JasonGross

master

Status Failure

Total duration 1h 36m 19s

Artifacts –

coq-opam-package.yml

on: schedule

Matrix: install

Annotations

1 error

install (8.18.0, 4.11.1, macos-latest)

Process completed with exit code 40.