Skip to content
Windows CI

[build] Fix wrong use of %{project_root}/_build in config files #1061

Sign in to view logs

[build] Fix wrong use of %{project_root}/_build in config files

[build] Fix wrong use of %{project_root}/_build in config files #1061

Triggered via push December 4, 2024 12:48
@ejgallegoejgallego
pushed c806b1d
fix_dune_root
Status Success
Total duration 55m 50s
Artifacts 1

ci-windows.yml

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

Artifacts

Produced during runtime
Name Size
windows-installer
124 MB