Skip to content

Merge branch 'main' into main #123

Merge branch 'main' into main

Merge branch 'main' into main #123

Triggered via push October 19, 2024 09:35
Status Success
Total duration 19m 59s
Artifacts 5

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

11 errors
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)'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.15: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.24: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.14: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error "String" BadType))' but got '((+ 2 "String"))'
HYPERON-EXPERIMENTAL-SCRIPTS ► C1-GROUNDED-BASIC.15: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error ln BadType))' but got '(False)'
HYPERON-EXPERIMENTAL-SCRIPTS ► D2-HIGHERFUNC.07: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '()' but got '(Number)'
HYPERON-EXPERIMENTAL-SCRIPTS ► D5-AUTO-TYPES.01: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(88)'

Artifacts

Produced during runtime
Name Size
environment Expired
2.29 KB
junit-matrix-html-report Expired
29.4 KB
junit-report Expired
37 KB
junit-standard-html-report Expired
91.6 KB
test-output-logs Expired
213 KB