Windows CI

Stop reading env var COQ_CONFIGURE_PREFIX #4322

Triggered via push December 18, 2024 13:44

SkySkimmer

no-conf-prefix

Status Success

Total duration 1h 4m 13s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer	131 MB