Skip to content

Merge branch 'dev' into dataframe-projector #10689

Merge branch 'dev' into dataframe-projector

Merge branch 'dev' into dataframe-projector #10689

Triggered via push February 11, 2026 22:23
Status Failure
Total duration 10m 31s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

2 errors
HazelTests ► HazelTests.MenhirParser ► Menhir and maketerm are equivalent: ./_build/default/test/junit_tests.xml#L0
Failed test found in: ./_build/default/test/junit_tests.xml Error: test `Menhir and maketerm are equivalent`
Deploy
Failed test were found and 'fail-on-error' option is set to true