Skip to content
Windows CI

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

Sign in to view logs

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

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

Triggered via push December 18, 2024 13:16
@SkySkimmerSkySkimmer
pushed 914bc75
rocq-env-vars
Status Success
Total duration 1h 2m 29s
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