Skip to content
CI (Coq, Alpine)

Don't build .vo files when EXTERNAL_PERF_DEPENDENCIES=1 #104

Sign in to view logs

Don't build .vo files when EXTERNAL_PERF_DEPENDENCIES=1

Don't build .vo files when EXTERNAL_PERF_DEPENDENCIES=1 #104

Run time

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