Merge pull request #95 from royward/main #66
ci.yml
on: push
generate-reports
46s
deploy-allure-report
17s
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 |
|