Skip to content
install

Support for SMT-LIB 2.7 #670

Sign in to view logs

Support for SMT-LIB 2.7

Support for SMT-LIB 2.7 #670

Triggered via pull request April 18, 2025 16:00
@GburyGbury
synchronize #235
smt2.7
Status Failure
Total duration 11m 28s
Artifacts –

install.yml

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

Annotations

18 errors
install (ocaml-base-compiler.5.0.0, ubuntu-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
Process completed with exit code 31.
install (ocaml-base-compiler.5.2.1, ubuntu-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
Process completed with exit code 31.
install (ocaml-base-compiler.5.1.1, ubuntu-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
Process completed with exit code 31.
install (ocaml-base-compiler.5.3.0, ubuntu-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
Process completed with exit code 31.
install (ocaml-base-compiler.4.13.1, ubuntu-latest, dolmen dolmen_type dolmen_loop dolmen_model d...
Process completed with exit code 31.
install (ocaml-base-compiler.4.10.2, ubuntu-latest, dolmen dolmen_type dolmen_loop dolmen_model d...
Process completed with exit code 31.
install (ocaml-base-compiler.4.12.1, ubuntu-latest, dolmen dolmen_type dolmen_loop dolmen_model d...
Process completed with exit code 31.
install (ocaml-variants.4.14.2+options,ocaml-option-flambda, ubuntu-latest, dolmen dolmen_type do...
Process completed with exit code 31.
install (ocaml-base-compiler.4.10.2, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
Process completed with exit code 31.
install (ocaml-base-compiler.4.13.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
Process completed with exit code 31.
install (ocaml-base-compiler.5.2.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
Process completed with exit code 31.
install (ocaml-base-compiler.5.1.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
Process completed with exit code 31.
install (ocaml-base-compiler.4.12.1, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model do...
Process completed with exit code 31.
install (ocaml-variants.4.13.1+options,system-mingw, windows-latest, dolmen dolmen_type dolmen_lo...
Process completed with exit code 1.
install (ocaml-base-compiler.5.3.0, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
Process completed with exit code 31.
install (ocaml-base-compiler.5.0.0, macos-latest, dolmen dolmen_type dolmen_loop dolmen_model dol...
Process completed with exit code 31.
install (ocaml-variants.4.14.2+options,ocaml-option-flambda,system-mingw, windows-latest, dolmen ...
Process completed with exit code 1.
install (ocaml-variants.4.14.2+options,ocaml-option-flambda, macos-latest, dolmen dolmen_type dol...
Process completed with exit code 31.