Skip to content
CI (Coq, Alpine)

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

Sign in to view logs

[CI] also test opam packages, including perf

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
alpine-edge
5m 58s
alpine-check-all
1s
5m 59s