Windows CI

[build] [opam] Pass -p correctly to `make dunestrap` so we don't rebu… #793

Triggered via push November 10, 2023 14:27

ejgallego

dunestrap_noreconf

Status Success

Total duration 1h 20m 44s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	132 MB