Skip to content

Re-encoded .metta files to UTF-8 #584

Re-encoded .metta files to UTF-8

Re-encoded .metta files to UTF-8 #584

Triggered via push November 27, 2024 17:14
Status Success
Total duration 31m 42s
Artifacts 5

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

11 errors
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.02: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error S BadType)\n)\n' but got '(S)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.08: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error \n (Cons Z Nil) BadType)\n)\n' but got '((Cons S \n (Cons Z Nil))\n)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.11: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error S BadType)\n)\n' but got '((eq Z S)\n)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.14: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error Color BadType)\n)\n' but got '(T)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.15: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error Circle BadType)\n)\n' but got '(T)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► B5-TYPES-PRELIM.24: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((eqa Z \n (Add Z Z))\n)\n' but got '(T)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► D2-HIGHERFUNC.07: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '()' but got '(Number)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► D5-AUTO-TYPES.01: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error "S" BadType)\n)\n' but got '(88)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► D5-AUTO-TYPES.02: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error "S" BadType)\n)\n' but got '(False)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► D5-AUTO-TYPES.03: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error SamIsMortal BadType)\n)\n' but got '(False)\n'
HYPERON-EXPERIMENTAL-SCRIPTS ► D5-AUTO-TYPES.04: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((Error \n (Human Socrates) BadType)\n)\n' but got '((HumansAreMortal \n (Human Socrates))\n)\n'

Artifacts

Produced during runtime
Name Size
environment
2.32 KB
junit-matrix-html-report
34.1 KB
junit-report
46.3 KB
junit-standard-html-report
116 KB
test-output-logs
265 KB