Windows CI

Fix ci-compcert/ci-vst for local ci #86

Triggered via push November 19, 2023 10:30

fix_local_ci-vst

Status Success

Total duration 1h 2m 52s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	133 MB