Skip to content

Merge pull request #194 from jazzbox35/main #510

Merge pull request #194 from jazzbox35/main

Merge pull request #194 from jazzbox35/main #510

Triggered via push November 19, 2024 05:22
Status Success
Total duration 46m 38s
Artifacts 5

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

11 errors and 1 warning
ANTI-REGRESSION ► BC-COMP.01: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '(())' but got '(True)'
ANTI-REGRESSION ► BC-COMP.02: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '(())' but got '(True)'
ANTI-REGRESSION ► BC-COMP.03: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '(())' but got '(True)'
ANTI-REGRESSION ► BCHAIN-COMP.01: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '(())' but got '(True)'
ANTI-REGRESSION ► BCHAIN-COMP.02: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '(())' but got '(True)'
ANTI-REGRESSION ► BCHAIN-COMP.03: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '(())' but got '(True)'
ANTI-REGRESSION ► TMPMATCH1.05: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '(() () () () () () () () () () (candidate (Inheritance (VarIdx Z) E) 2) (candidate (Inheritance (VarIdx Z) A) 2) (candidate (Inheritance B (VarIdx (S Z))) 1) (candidate (Inheritance C (VarIdx (S Z))) 2) (candidate (Inheritance D (VarIdx (S Z))) 1))' but got '(() () () () () () () () () () () () () () () ())'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.02: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.08: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.11: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.14: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'
generate-reports
Test report summary exceeded limit of 65535 bytes and will be trimmed

Artifacts

Produced during runtime
Name Size
environment
2.35 KB
junit-matrix-html-report
50.2 KB
junit-report
61.9 KB
junit-standard-html-report
158 KB
test-output-logs
366 KB