Skip to content
CI Job to Generate JUnit Reports with Diff and Allure Reports

Add permissions for contents and checks to avoid integration errors #18

Sign in to view logs

Add permissions for contents and checks to avoid integration errors

Add permissions for contents and checks to avoid integration errors #18

GitHub Actions / JUnit Results succeeded Aug 14, 2024 in 1s

416 passed, 23 failed and 0 skipped

Tests failed

❌ junit.xml

439 tests were completed in NaNms with 416 passed, 23 failed and 0 skipped.

Test suite Passed Failed Skipped Time
Metta Tests 416✅ 23❌ NaNms

❌ Metta Tests

ANTI-REGRESSION.BC-COMP
  ✅ BC-COMP.01
  ✅ BC-COMP.02
  ✅ BC-COMP.03
  ✅ BC-COMP.04
  ✅ BC-COMP.05
  ✅ BC-COMP.06
ANTI-REGRESSION.BCHAIN-COMP
  ✅ BCHAIN-COMP.01
  ✅ BCHAIN-COMP.02
  ✅ BCHAIN-COMP.03
  ✅ BCHAIN-COMP.04
  ✅ BCHAIN-COMP.05
  ✅ BCHAIN-COMP.06
ANTI-REGRESSION.BCHAIN
  ✅ BCHAIN.01
  ✅ BCHAIN.02
  ✅ BCHAIN.03
  ✅ BCHAIN.04
  ✅ BCHAIN.05
  ✅ BCHAIN.06
ANTI-REGRESSION.COMMA-IS-NOT-SPECIAL
  ✅ COMMA-IS-NOT-SPECIAL.01
ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED
  ✅ DEBUG-METTALOGTESTCURRIED.01
  ✅ DEBUG-METTALOGTESTCURRIED.02
  ✅ DEBUG-METTALOGTESTCURRIED.03
  ✅ DEBUG-METTALOGTESTCURRIED.04
  ✅ DEBUG-METTALOGTESTCURRIED.05
  ✅ DEBUG-METTALOGTESTCURRIED.06
  ✅ DEBUG-METTALOGTESTCURRIED.07
  ✅ DEBUG-METTALOGTESTCURRIED.08
  ❌ DEBUG-METTALOGTESTCURRIED.09
	<![CDATA[
  ✅ DEBUG-METTALOGTESTCURRIED.10
  ✅ DEBUG-METTALOGTESTCURRIED.11
  ✅ DEBUG-METTALOGTESTCURRIED.12
ANTI-REGRESSION.METTALOGTESTCURRIED2
  ✅ METTALOGTESTCURRIED2.01
  ✅ METTALOGTESTCURRIED2.02
  ✅ METTALOGTESTCURRIED2.03
  ✅ METTALOGTESTCURRIED2.04
  ✅ METTALOGTESTCURRIED2.05
  ✅ METTALOGTESTCURRIED2.06
  ✅ METTALOGTESTCURRIED2.07
ANTI-REGRESSION.TEST-IF-CLOSED
  ✅ TEST-IF-CLOSED.01
  ✅ TEST-IF-CLOSED.02
  ✅ TEST-IF-CLOSED.03
  ✅ TEST-IF-CLOSED.04
  ✅ TEST-IF-CLOSED.05
  ✅ TEST-IF-CLOSED.06
  ✅ TEST-IF-CLOSED.07
  ✅ TEST-IF-CLOSED.08
  ✅ TEST-IF-CLOSED.09
  ✅ TEST-IF-CLOSED.10
  ✅ TEST-IF-CLOSED.11
ANTI-REGRESSION.TMPMATCH1
  ✅ TMPMATCH1.01
  ✅ TMPMATCH1.02
  ✅ TMPMATCH1.03
  ✅ TMPMATCH1.04
  ✅ TMPMATCH1.05
ANTI-REGRESSION.TMPMATCH2
  ✅ TMPMATCH2.01
  ✅ TMPMATCH2.02
  ✅ TMPMATCH2.03
  ✅ TMPMATCH2.04
  ✅ TMPMATCH2.05
HYPERON-EXPERIMENTAL-SCRIPTS.A1-SYMBOLS
  ✅ A1-SYMBOLS.01
  ✅ A1-SYMBOLS.02
  ✅ A1-SYMBOLS.03
  ✅ A1-SYMBOLS.04
  ✅ A1-SYMBOLS.05
  ✅ A1-SYMBOLS.06
  ✅ A1-SYMBOLS.07
HYPERON-EXPERIMENTAL-SCRIPTS.A2-OPENCOGGY
  ✅ A2-OPENCOGGY.01
HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE
  ✅ A3-TWOSIDE.01
  ✅ A3-TWOSIDE.02
  ✅ A3-TWOSIDE.03
  ✅ A3-TWOSIDE.04
HYPERON-EXPERIMENTAL-SCRIPTS.B0-CHAINING-PRELIM
  ✅ B0-CHAINING-PRELIM.01
  ✅ B0-CHAINING-PRELIM.02
  ✅ B0-CHAINING-PRELIM.03
  ✅ B0-CHAINING-PRELIM.04
  ✅ B0-CHAINING-PRELIM.05
HYPERON-EXPERIMENTAL-SCRIPTS.B1-EQUAL-CHAIN
  ✅ B1-EQUAL-CHAIN.01
  ✅ B1-EQUAL-CHAIN.02
  ✅ B1-EQUAL-CHAIN.03
  ✅ B1-EQUAL-CHAIN.04
  ✅ B1-EQUAL-CHAIN.05
  ✅ B1-EQUAL-CHAIN.06
HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN
  ✅ B2-BACKCHAIN.01
  ✅ B2-BACKCHAIN.02
  ✅ B2-BACKCHAIN.03
  ✅ B2-BACKCHAIN.04
  ✅ B2-BACKCHAIN.05
HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT
  ✅ B3-DIRECT.01
  ✅ B3-DIRECT.02
  ✅ B3-DIRECT.03
HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM
  ✅ B4-NONDETERM.01
  ✅ B4-NONDETERM.02
  ✅ B4-NONDETERM.03
  ✅ B4-NONDETERM.04
  ✅ B4-NONDETERM.05
  ✅ B4-NONDETERM.06
  ✅ B4-NONDETERM.07
  ✅ B4-NONDETERM.08
  ✅ B4-NONDETERM.09
  ✅ B4-NONDETERM.10
  ✅ B4-NONDETERM.11
HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM
  ✅ B5-TYPES-PRELIM.01
  ❌ B5-TYPES-PRELIM.02
	<![CDATA[
  ✅ B5-TYPES-PRELIM.03
  ✅ B5-TYPES-PRELIM.04
  ✅ B5-TYPES-PRELIM.05
  ✅ B5-TYPES-PRELIM.06
  ✅ B5-TYPES-PRELIM.07
  ❌ B5-TYPES-PRELIM.08
	<![CDATA[
  ✅ B5-TYPES-PRELIM.09
  ✅ B5-TYPES-PRELIM.10
  ❌ B5-TYPES-PRELIM.11
	<![CDATA[
  ✅ B5-TYPES-PRELIM.12
  ✅ B5-TYPES-PRELIM.13
  ❌ B5-TYPES-PRELIM.14
	<![CDATA[
  ❌ B5-TYPES-PRELIM.15
	<![CDATA[
  ✅ B5-TYPES-PRELIM.16
  ✅ B5-TYPES-PRELIM.17
  ✅ B5-TYPES-PRELIM.18
  ✅ B5-TYPES-PRELIM.19
  ✅ B5-TYPES-PRELIM.20
  ✅ B5-TYPES-PRELIM.21
  ✅ B5-TYPES-PRELIM.22
  ✅ B5-TYPES-PRELIM.23
  ❌ B5-TYPES-PRELIM.24
	<![CDATA[
  ✅ B5-TYPES-PRELIM.25
  ✅ B5-TYPES-PRELIM.26
HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC
  ✅ C1-GROUNDED-BASIC.01
  ✅ C1-GROUNDED-BASIC.02
  ✅ C1-GROUNDED-BASIC.03
  ✅ C1-GROUNDED-BASIC.04
  ✅ C1-GROUNDED-BASIC.05
  ✅ C1-GROUNDED-BASIC.06
  ✅ C1-GROUNDED-BASIC.07
  ✅ C1-GROUNDED-BASIC.08
  ✅ C1-GROUNDED-BASIC.09
  ✅ C1-GROUNDED-BASIC.10
  ✅ C1-GROUNDED-BASIC.11
  ✅ C1-GROUNDED-BASIC.12
  ✅ C1-GROUNDED-BASIC.13
  ❌ C1-GROUNDED-BASIC.14
	<![CDATA[
  ❌ C1-GROUNDED-BASIC.15
	<![CDATA[
  ✅ C1-GROUNDED-BASIC.16
  ✅ C1-GROUNDED-BASIC.17
  ✅ C1-GROUNDED-BASIC.18
  ✅ C1-GROUNDED-BASIC.19
  ✅ C1-GROUNDED-BASIC.20
  ✅ C1-GROUNDED-BASIC.21
  ✅ C1-GROUNDED-BASIC.22
  ✅ C1-GROUNDED-BASIC.23
HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES
  ✅ C2-SPACES.01
  ✅ C2-SPACES.02
  ✅ C2-SPACES.03
  ✅ C2-SPACES.04
  ✅ C2-SPACES.05
HYPERON-EXPERIMENTAL-SCRIPTS.C3-PLN-STV
  ✅ C3-PLN-STV.01
  ✅ C3-PLN-STV.02
  ✅ C3-PLN-STV.03
  ✅ C3-PLN-STV.04
  ✅ C3-PLN-STV.05
HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT
  ✅ D1-GADT.01
  ✅ D1-GADT.02
  ✅ D1-GADT.03
  ✅ D1-GADT.04
  ✅ D1-GADT.05
  ✅ D1-GADT.06
  ✅ D1-GADT.07
  ✅ D1-GADT.08
  ✅ D1-GADT.09
  ✅ D1-GADT.10
  ✅ D1-GADT.11
  ✅ D1-GADT.12
  ✅ D1-GADT.13
  ✅ D1-GADT.14
HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC
  ✅ D2-HIGHERFUNC.01
  ✅ D2-HIGHERFUNC.02
  ✅ D2-HIGHERFUNC.03
  ✅ D2-HIGHERFUNC.04
  ✅ D2-HIGHERFUNC.05
  ✅ D2-HIGHERFUNC.06
  ❌ D2-HIGHERFUNC.07
	<![CDATA[
  ✅ D2-HIGHERFUNC.08
  ✅ D2-HIGHERFUNC.09
  ✅ D2-HIGHERFUNC.10
  ✅ D2-HIGHERFUNC.11
  ✅ D2-HIGHERFUNC.12
  ✅ D2-HIGHERFUNC.13
  ✅ D2-HIGHERFUNC.14
  ✅ D2-HIGHERFUNC.15
  ✅ D2-HIGHERFUNC.16
  ✅ D2-HIGHERFUNC.17
  ✅ D2-HIGHERFUNC.18
  ✅ D2-HIGHERFUNC.19
  ✅ D2-HIGHERFUNC.20
  ✅ D2-HIGHERFUNC.21
  ✅ D2-HIGHERFUNC.22
  ✅ D2-HIGHERFUNC.23
  ✅ D2-HIGHERFUNC.24
  ✅ D2-HIGHERFUNC.25
  ✅ D2-HIGHERFUNC.26
  ✅ D2-HIGHERFUNC.27
HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES
  ✅ D3-DEPTYPES.01
  ✅ D3-DEPTYPES.02
  ✅ D3-DEPTYPES.03
  ✅ D3-DEPTYPES.04
  ✅ D3-DEPTYPES.05
  ✅ D3-DEPTYPES.06
  ✅ D3-DEPTYPES.07
HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP
  ✅ D4-TYPE-PROP.01
  ✅ D4-TYPE-PROP.02
  ✅ D4-TYPE-PROP.03
  ✅ D4-TYPE-PROP.04
  ✅ D4-TYPE-PROP.05
  ✅ D4-TYPE-PROP.06
  ✅ D4-TYPE-PROP.07
  ✅ D4-TYPE-PROP.08
  ✅ D4-TYPE-PROP.09
  ✅ D4-TYPE-PROP.10
  ✅ D4-TYPE-PROP.11
  ✅ D4-TYPE-PROP.12
  ✅ D4-TYPE-PROP.13
  ✅ D4-TYPE-PROP.14
  ✅ D4-TYPE-PROP.15
  ✅ D4-TYPE-PROP.16
  ✅ D4-TYPE-PROP.17
  ✅ D4-TYPE-PROP.18
  ✅ D4-TYPE-PROP.19
  ✅ D4-TYPE-PROP.20
  ✅ D4-TYPE-PROP.21
  ✅ D4-TYPE-PROP.22
  ✅ D4-TYPE-PROP.23
HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES
  ❌ D5-AUTO-TYPES.01
	<![CDATA[
  ❌ D5-AUTO-TYPES.02
	<![CDATA[
  ❌ D5-AUTO-TYPES.03
	<![CDATA[
  ❌ D5-AUTO-TYPES.04
	<![CDATA[
  ❌ D5-AUTO-TYPES.05
	<![CDATA[
  ❌ D5-AUTO-TYPES.06
	<![CDATA[
HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE
  ✅ E1-KB-WRITE.01
  ✅ E1-KB-WRITE.02
HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES
  ✅ E2-STATES.01
  ✅ E2-STATES.02
  ✅ E2-STATES.03
  ✅ E2-STATES.04
  ✅ E2-STATES.05
  ✅ E2-STATES.06
  ❌ E2-STATES.07
	<![CDATA[
  ❌ E2-STATES.08
	<![CDATA[
  ✅ E2-STATES.09
  ✅ E2-STATES.10
  ✅ E2-STATES.11
  ✅ E2-STATES.12
HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES
  ✅ E3-MATCH-STATES.01
  ✅ E3-MATCH-STATES.02
  ❌ E3-MATCH-STATES.03
	<![CDATA[
  ✅ E3-MATCH-STATES.04
  ❌ E3-MATCH-STATES.05
	<![CDATA[
  ❌ E3-MATCH-STATES.06
	<![CDATA[
HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS
  ✅ F1-IMPORTS.01
  ✅ F1-IMPORTS.02
  ✅ F1-IMPORTS.03
  ✅ F1-IMPORTS.06
  ✅ F1-IMPORTS.11
  ✅ F1-IMPORTS.12
  ❌ F1-IMPORTS.13
	<![CDATA[
  ✅ F1-IMPORTS.14
  ✅ F1-IMPORTS.15
  ✅ F1-IMPORTS.16
  ✅ F1-IMPORTS.17
  ✅ F1-IMPORTS.18
  ✅ F1-IMPORTS.19
  ✅ F1-IMPORTS.20
  ✅ F1-IMPORTS.21
HYPERON-EXPERIMENTAL-SCRIPTS.F1-MODULEA
  ✅ F1-MODULEA.04
  ✅ F1-MODULEA.05
  ✅ F1-MODULEA.07
  ✅ F1-MODULEA.08
  ✅ F1-MODULEA.09
  ✅ F1-MODULEA.10
  ✅ F1-MODULEA.01
  ✅ F1-MODULEA.02
HYPERON-METTALOG-SANITY.00-LANG-CASE
  ✅ 00-LANG-CASE.01
  ✅ 00-LANG-CASE.02
  ✅ 00-LANG-CASE.03
  ✅ 00-LANG-CASE.04
  ✅ 00-LANG-CASE.05
  ✅ 00-LANG-CASE.06
  ✅ 00-LANG-CASE.07
  ✅ 00-LANG-CASE.08
  ✅ 00-LANG-CASE.09
  ✅ 00-LANG-CASE.10
  ✅ 00-LANG-CASE.11
  ✅ 00-LANG-CASE.12
  ✅ 00-LANG-CASE.13
  ✅ 00-LANG-CASE.14
  ✅ 00-LANG-CASE.15
  ✅ 00-LANG-CASE.16
  ✅ 00-LANG-CASE.17
  ✅ 00-LANG-CASE.18
HYPERON-METTALOG-SANITY.01-LANG-INC
  ✅ 01-LANG-INC.01
  ✅ 01-LANG-INC.02
HYPERON-METTALOG-SANITY.02-CURRIED-PLUS
  ✅ 02-CURRIED-PLUS.01
HYPERON-METTALOG-SANITY.03-SORING-VIA-INSERT
  ✅ 03-SORING-VIA-INSERT.01
  ✅ 03-SORING-VIA-INSERT.02
  ✅ 03-SORING-VIA-INSERT.03
  ✅ 03-SORING-VIA-INSERT.04
  ✅ 03-SORING-VIA-INSERT.05
  ✅ 03-SORING-VIA-INSERT.06
HYPERON-METTALOG-SANITY.06-MATCH-IN-SPACE
  ✅ 06-MATCH-IN-SPACE.01
  ✅ 06-MATCH-IN-SPACE.02
  ✅ 06-MATCH-IN-SPACE.03
  ✅ 06-MATCH-IN-SPACE.04
  ✅ 06-MATCH-IN-SPACE.05
  ✅ 06-MATCH-IN-SPACE.06
HYPERON-METTALOG-SANITY.STRING-TESTS
  ✅ STRING-TESTS.01
  ✅ STRING-TESTS.02
  ✅ STRING-TESTS.03
  ✅ STRING-TESTS.04
  ✅ STRING-TESTS.05
  ✅ STRING-TESTS.06
  ✅ STRING-TESTS.07
  ✅ STRING-TESTS.08
  ✅ STRING-TESTS.09
  ✅ STRING-TESTS.10
  ✅ STRING-TESTS.11
HYPERON-METTALOG-SANITY.STRUCTURE-TESTS
  ✅ STRUCTURE-TESTS.01
METTA-MORPH-TESTS.ADD-ATOM-MATCH
  ✅ ADD-ATOM-MATCH.01
METTA-MORPH-TESTS.AND-OR
  ✅ AND-OR.01
METTA-MORPH-TESTS.COLLAPSE
  ✅ COLLAPSE.01
METTA-MORPH-TESTS.FACTORIAL
  ✅ FACTORIAL.01
  ✅ FACTORIAL.02
METTA-MORPH-TESTS.HYPERPOSE
  ✅ HYPERPOSE.01
  ✅ HYPERPOSE.02
  ✅ HYPERPOSE.03
  ✅ HYPERPOSE.04
  ✅ HYPERPOSE.05
  ✅ HYPERPOSE.06
  ✅ HYPERPOSE.07
  ✅ HYPERPOSE.08
  ✅ HYPERPOSE.09
  ✅ HYPERPOSE.10
METTA-MORPH-TESTS.IDENTITY
  ✅ IDENTITY.01
METTA-MORPH-TESTS.IF
  ✅ IF.01
METTA-MORPH-TESTS.LETLET
  ✅ LETLET.01
METTA-MORPH-TESTS.LET-SUPERPOSE-IF-CASE
  ✅ LET-SUPERPOSE-IF-CASE.01
  ✅ LET-SUPERPOSE-IF-CASE.02
METTA-MORPH-TESTS.LET-SUPERPOSE-LIST2
  ✅ LET-SUPERPOSE-LIST2.01
METTA-MORPH-TESTS.LET-SUPERPOSE-LIST
  ✅ LET-SUPERPOSE-LIST.01
  ✅ LET-SUPERPOSE-LIST.02
METTA-MORPH-TESTS.MATCH-FEVAL
  ✅ MATCH-FEVAL.01
METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES
  ✅ MATCH-SUPERPOSED-SPACES.01
  ✅ MATCH-SUPERPOSED-SPACES.02
  ✅ MATCH-SUPERPOSED-SPACES.03
  ✅ MATCH-SUPERPOSED-SPACES.04
  ✅ MATCH-SUPERPOSED-SPACES.05
METTA-MORPH-TESTS.MATCH-VOID
  ✅ MATCH-VOID.01
  ✅ MATCH-VOID.02
  ✅ MATCH-VOID.03
  ✅ MATCH-VOID.04
  ✅ MATCH-VOID.05
  ✅ MATCH-VOID.06
  ✅ MATCH-VOID.07
  ✅ MATCH-VOID.08
  ✅ MATCH-VOID.09
  ✅ MATCH-VOID.10
  ✅ MATCH-VOID.11
METTA-MORPH-TESTS.MINNARS
  ✅ MINNARS.01
METTA-MORPH-TESTS.MULTIFUNCTION
  ✅ MULTIFUNCTION.01
METTA-MORPH-TESTS.NALIFIER
  ✅ NALIFIER.01
METTA-MORPH-TESTS.NESTED-PARAMETERS
  ✅ NESTED-PARAMETERS.01
METTA-MORPH-TESTS.PEANO
  ✅ PEANO.01
METTA-MORPH-TESTS.SEQUENTIAL-NESTED
  ✅ SEQUENTIAL-NESTED.01
  ✅ SEQUENTIAL-NESTED.02
  ✅ SEQUENTIAL-NESTED.03
  ✅ SEQUENTIAL-NESTED.04
  ✅ SEQUENTIAL-NESTED.05
  ✅ SEQUENTIAL-NESTED.06
  ✅ SEQUENTIAL-NESTED.07
  ✅ SEQUENTIAL-NESTED.08
  ✅ SEQUENTIAL-NESTED.09
  ✅ SEQUENTIAL-NESTED.10
  ✅ SEQUENTIAL-NESTED.11
  ✅ SEQUENTIAL-NESTED.12
METTA-MORPH-TESTS.STATES-SPACES
  ✅ STATES-SPACES.01
  ✅ STATES-SPACES.02
  ✅ STATES-SPACES.03
  ✅ STATES-SPACES.04
  ✅ STATES-SPACES.05
  ✅ STATES-SPACES.06
METTA-MORPH-TESTS.SUPERCOLLAPSE
  ✅ SUPERCOLLAPSE.01
  ✅ SUPERCOLLAPSE.02
  ✅ SUPERCOLLAPSE.03
  ✅ SUPERCOLLAPSE.04
  ✅ SUPERCOLLAPSE.05
  ✅ SUPERCOLLAPSE.06
  ✅ SUPERCOLLAPSE.07
  ✅ SUPERCOLLAPSE.08
METTA-MORPH-TESTS.SUPERPOSE-NESTED
  ✅ SUPERPOSE-NESTED.01
  ✅ SUPERPOSE-NESTED.02
  ✅ SUPERPOSE-NESTED.03
  ✅ SUPERPOSE-NESTED.04
METTA-MORPH-TESTS.TESTS0
  ✅ TESTS0.01
  ✅ TESTS0.02
  ✅ TESTS0.03
  ✅ TESTS0.04
  ✅ TESTS0.05
  ✅ TESTS0.06
  ✅ TESTS0.07
METTA-MORPH-TESTS.TYPES2
  ✅ TYPES2.01
  ✅ TYPES2.02
  ✅ TYPES2.03
  ✅ TYPES2.04
  ✅ TYPES2.05
METTA-MORPH-TESTS.TYPES3
  ✅ TYPES3.01
METTA-MORPH-TESTS.TYPES
  ✅ TYPES.01
METTA-MORPH-TESTS.ZEROARGS
  ✅ ZEROARGS.01
  ✅ ZEROARGS.02
MODULE-SYSTEM.C2-SPACES
  ✅ C2-SPACES.01
  ✅ C2-SPACES.02
  ✅ C2-SPACES.03
  ✅ C2-SPACES.04
  ✅ C2-SPACES.05
MODULE-SYSTEM.F1-IMPORTS
  ✅ F1-IMPORTS.01
  ✅ F1-IMPORTS.02
  ❌ F1-IMPORTS.04
	<![CDATA[
  ✅ F1-IMPORTS.05
  ✅ F1-IMPORTS.08
  ✅ F1-IMPORTS.09
  ✅ F1-IMPORTS.10
  ✅ F1-IMPORTS.11
  ✅ F1-IMPORTS.12
  ✅ F1-IMPORTS.13
  ✅ F1-IMPORTS.14
  ✅ F1-IMPORTS.15
  ✅ F1-IMPORTS.16
  ✅ F1-IMPORTS.17
MODULE-SYSTEM.F1-MODULEA
  ✅ F1-MODULEA.03
  ✅ F1-MODULEA.06
  ✅ F1-MODULEA.07
  ✅ F1-MODULEA.01

Annotations

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► ANTI-REGRESSION.DEBUG-METTALOGTESTCURRIED ► DEBUG-METTALOGTESTCURRIED.09 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((let* ((($_5702 $_5720 $_5738) (abstract-patterns)) ($_5774 ($_5702 (VarIdx Z) (VarIdx (S Z)))) ($_...' but got '(() () () () ())'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM ► B5-TYPES-PRELIM.02 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error S BadType))' but got '(S)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM ► B5-TYPES-PRELIM.08 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error (Cons Z Nil) BadType))' but got '((Cons S (Cons Z Nil)))'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM ► B5-TYPES-PRELIM.11 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error S BadType))' but got '((eq Z S))'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM ► B5-TYPES-PRELIM.14 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error Color BadType))' but got '(T)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM ► B5-TYPES-PRELIM.15 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error Circle BadType))' but got '(T)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.B5-TYPES-PRELIM ► B5-TYPES-PRELIM.24 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((eqa Z (Add Z Z)))' but got '(T)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC ► C1-GROUNDED-BASIC.14 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error "String" BadType))' but got '((+ 2 "String"))'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC ► C1-GROUNDED-BASIC.15 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error ln BadType))' but got '(False)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC ► D2-HIGHERFUNC.07 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '()' but got '(Number)'
]]>

Check failure on line 0 in junit.xml

See this annotation in the file changed.

@github-actions github-actions / JUnit Results

Metta Tests ► HYPERON-EXPERIMENTAL-SCRIPTS.D5-AUTO-TYPES ► D5-AUTO-TYPES.01 

Failed test found in:
  junit.xml
Error:
  <![CDATA[
Raw output 
<![CDATA[
AssertionError: Test failed: Expected '((Error "S" BadType))' but got '(88)'
]]>
View more details on GitHub Actions