Skip to content

merge fixes

merge fixes #6952

Triggered via push February 25, 2025 19:10
Status Failure
Total duration 4m 21s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

3 errors
HazelTests ► HazelTests.MenhirParser ► Menhir through ExpToSegment and back: ./_build/default/test/junit_tests.xml#L0
Failed test found in: ./_build/default/test/junit_tests.xml Error: test `Menhir through ExpToSegment and back`
HazelTests ► HazelTests.Evaluator ► Evaluate probe around inferred labeled tuple: ./_build/default/test/junit_tests.xml#L0
Failed test found in: ./_build/default/test/junit_tests.xml Error: Alcotest assertion failure
Deploy
Failed test were found and 'fail-on-error' option is set to true