Skip to content
locked

now also fwdSolver with widening per node #14434

Sign in to view logs

now also fwdSolver with widening per node

now also fwdSolver with widening per node #14434

Triggered via push November 10, 2025 15:18
@hseidlhseidl
pushed 404b701
fwd_constrsys
Status Failure
Total duration 1m 43s
Artifacts –

locked.yml

on: push
Matrix: extraction
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 2 warnings, and 1 notice
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 20.
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 20.
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
No files were found with the provided path: _build/default/tests/suite_result/. No artifacts will be uploaded.
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
No files were found with the provided path: _build/default/tests/suite_result/. No artifacts will be uploaded.
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046