Skip to content
CI (Coq, Alpine)

[CI] Add ocamlfind printconf destdir to system config description #36

Sign in to view logs

[CI] Add ocamlfind printconf destdir to system config description

[CI] Add ocamlfind printconf destdir to system config description #36

Triggered via push December 25, 2023 02:14
@JasonGrossJasonGross
pushed c0328db
master
Status Success
Total duration 13m 25s
Artifacts –

coq-alpine.yml

on: push
Matrix: build
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in