Skip to content

allow redefinition of = #57

allow redefinition of =

allow redefinition of = #57

Triggered via push December 31, 2024 03:42
Status Success
Total duration 55m 26s
Artifacts 5

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

11 errors and 2 warnings
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 ► C1-GROUNDED-BASIC.17: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '(2 3 4)' but got '(2)'
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 ► D4-TYPE-PROP.10: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '(T)' but got '((= SocratesIsMortal \n (HumansAreMortal SocratesIsHuman)) (= SocratesIsMortal \n (HumansAreMortal SocratesIsHuman)) (= SocratesIsMortal \n (HumansAreMortal SocratesIsHuman)))'
generate-reports
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
generate-reports
Test report summary exceeded limit of 65535 bytes and will be trimmed

Artifacts

Produced during runtime
Name Size
environment
2.37 KB
junit-matrix-html-report
41.6 KB
junit-report
53.9 KB
junit-standard-html-report
139 KB
test-output-logs
320 KB