Skip to content

Forward Constraint System #14435

Forward Constraint System

Forward Constraint System #14435

Triggered via pull request November 10, 2025 15:18
@hseidlhseidl
synchronize #1800
fwd_constrsys
Status Failure
Total duration 9m 19s
Artifacts

locked.yml

on: pull_request
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 1.
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.
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