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

Triggered via push January 28, 2025 20:28
@JasonGrossJasonGross
pushed ca0eed1
master
Status Success
Total duration 41m 56s
Artifacts –

coq-alpine.yml

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