Skip to content
install

Reject SMT-LIB2 distinct applications to less than 2 arguments (#243) #697

Sign in to view logs

Reject SMT-LIB2 distinct applications to less than 2 arguments (#243)

Reject SMT-LIB2 distinct applications to less than 2 arguments (#243) #697

Triggered via push August 11, 2025 08:02
@GburyGbury
pushed 4ad6c66
master
Status Failure
Total duration 12m 29s
Artifacts –

install.yml

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

Annotations

1 error and 18 notices
install (ocaml-variants.4.13.1+options,system-mingw, windows-latest, dolmen dolmen_type dolmen_lo...
Process completed with exit code 1.
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-base-compiler.4.13.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.4.13.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.5.2.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.5.2.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.5.3.0, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.5.3.0, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.4.10.2, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.4.10.2, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.5.1.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.5.1.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.5.0.0, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.5.0.0, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-variants.4.14.2+options,ocaml-option-flambda, macos-latest, dolmen dolmen_type dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-variants.4.14.2+options,ocaml-option-flambda, macos-latest, dolmen dolmen_type dol...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.4.12.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
install (ocaml-base-compiler.4.12.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
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