Skip to content

Add EmptyHole type to menhir #6152

Add EmptyHole type to menhir

Add EmptyHole type to menhir #6152

Triggered via push December 3, 2024 16:08
Status Failure
Total duration 10m 40s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 1 warning
HazelTests ► HazelTests.Parser ► Documentation buffer: Casting: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 7, column 21
HazelTests ► HazelTests.Parser ► Documentation buffer: ADT Statics: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 9, column 18
HazelTests ► HazelTests.Parser ► Documentation buffer: Basic Reference: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 85, column 9
HazelTests ► HazelTests.Parser ► Documentation buffer: Projectors: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 12, column 14
HazelTests ► HazelTests.Parser ► Documentation buffer: Types & static errors: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 13, column 6
HazelTests ► HazelTests.Parser ► Documentation buffer: ADT Dynamics: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 13, column 9
HazelTests ► HazelTests.Parser ► Documentation buffer: Polymorphism: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 5, column 35
HazelTests ► HazelTests.Parser ► Documentation buffer: Expressive Programming: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 1, column 1
HazelTests ► HazelTests.Parser ► Documentation buffer: Composing Expressions: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 1, column 1
HazelTests ► HazelTests.Parser ► Documentation buffer: Computing Equationally: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 1, column 1
HazelTests ► HazelTests.Parser ► Documentation buffer: Variables: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 1, column 1
Deploy
Failed test were found and 'fail-on-error' option is set to true
Deploy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636