Skip to content
Build and Deploy Hazel

Fix unnecesary type unrolling (#2105) #10569

Sign in to view logs

Fix unnecesary type unrolling (#2105)

Fix unnecesary type unrolling (#2105) #10569

Triggered via push February 5, 2026 20:50
@cyrus-cyrus-
pushed 062397c
dev
Status Failure
Total duration 9m 46s
Artifacts –

deploy_branches.yml

on: push
Deploy
9m 41s
Deploy
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