Skip to content

[CI] also test opam packages, including perf #103

[CI] also test opam packages, including perf

[CI] also test opam packages, including perf #103

Triggered via push January 28, 2025 20:22
Status Success
Total duration 48m 30s
Artifacts

coq-alpine.yml

on: push
Matrix: build
alpine-check-all
0s