Skip to content
install

changes #714

Sign in to view logs

changes

changes #714

Triggered via push September 9, 2025 13:10
@GburyGbury
pushed cdc9d21
master
Status Success
Total duration 33m 3s
Artifacts –

install.yml

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

Annotations

2 notices
install (ocaml-variants.4.13.1+options,system-mingw, windows-latest, dolmen dolmen_type dolmen_lo...
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
install (ocaml-variants.4.14.2+options,ocaml-option-flambda,system-mingw, windows-latest, dolmen ...
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677