Skip to content

Merge pull request #96 from royward/main #68

Merge pull request #96 from royward/main

Merge pull request #96 from royward/main #68

Triggered via push August 21, 2024 23:14
Status Success
Total duration 1m 4s
Artifacts 5

ci.yml

on: push
generate-reports
35s
generate-reports
deploy-allure-report
9s
deploy-allure-report
Fit to window
Zoom out
Zoom in

Annotations

11 errors
ANTI-REGRESSION ► DEBUG-METTALOGTESTCURRIED.09: junit.xml#L0
Failed test found in: junit.xml Error: AssertionError: Test failed: Expected '((let* ((($_5702 $_5720 $_5738) (abstract-patterns)) ($_5774 ($_5702 (VarIdx Z) (VarIdx (S Z)))) ($_...' 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
allure-html-report Expired
1.4 MB
junit-comparison-html-report Expired
596 KB
junit-matrix-html-report Expired
16.1 KB
junit-report Expired
15.4 KB
junit-standard-html-report Expired
47.7 KB