Skip to content
Build and Deploy Hazel

Add test for empty type holes #6147

Sign in to view logs

Add test for empty type holes

Add test for empty type holes #6147

Triggered via push December 2, 2024 18:26
@7h3kk1d7h3kk1d
pushed 3ea7cb5
menhir_tests
Status Failure
Total duration 11m 3s
Artifacts –

deploy_branches.yml

on: push
Deploy
10m 52s
Deploy
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 1 warning
HazelTests ► HazelTests.Parser ► Empty Type Hole: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 1, column 10
HazelTests ► HazelTests.Parser ► Documentation buffer: Casting: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 4, column 11
HazelTests ► HazelTests.Parser ► Documentation buffer: ADT Statics: junit_tests.xml#L0
Failed test found in: junit_tests.xml Error: Parse error at: line 6, column 13
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 10, column 10
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
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