install

Smtlib Printer #694

Sign in to view logs

Re-run triggered August 10, 2025 15:41

Gbury

#211

print

Status Success

Total duration 11m 36s

Artifacts –

install.yml

on: pull_request

Matrix: install

Annotations

1 notice

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