Skip to content
Windows CI

env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … #4323

Sign in to view logs

env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / …

env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … #4323

Triggered via push December 18, 2024 13:48
@SkySkimmerSkySkimmer
pushed afc9146
rocq-env-vars
Status Success
Total duration 58m 27s
Artifacts 1

ci-windows.yml

on: push
Matrix: Windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
windows-installer
131 MB