Skip to content
Test opam package

Adapt to https://github.com/coq/coq/pull/17576 (#1698) #677

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/17576 (#1698)

Adapt to https://github.com/coq/coq/pull/17576 (#1698) #677

Triggered via push November 3, 2023 22:13
@JasonGrossJasonGross
pushed e4b57b2
master
Status Success
Total duration 2h 12m 34s
Artifacts –

coq-opam-package.yml

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