Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. quick/ .answers (details)
The file was addedtests/baseline_compat/anti-regression/issues/metta-wam-issue-116/test_spo_100.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/base_test_repr_parse_intersection.metta.answers
The file was addedtests/baseline_compat/quick/f1_moduleC.metta
The file was addedtests/baseline_compat/quick/d4_type_prop.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/space_subtraction_tests.metta.answers
The file was addedtests/baseline_compat/quick/c1_grounded_basic.metta
The file was addedtests/baseline_compat/quick/d2_higherfunc.metta
The file was addedtests/baseline_compat/quick/f1_imports.metta.answers
The file was addedtests/baseline_compat/anti-regression/issues/metta-wam-issue-116/test_spo_1000.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/flip_test.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/first_answer.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/or_test.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/synth_buffer/synthesize.metta.answers
The file was addedtests/baseline_compat/quick/f1_moduleA.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/intersection_tests.metta.answers
The file was addedtests/baseline_compat/quick/d2_higherfunc.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/sealed_test.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/synth_buffer/time_synthesize.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/synth_buffer/time_synthesize_long.metta.answers
The file was addedtests/baseline_compat/quick/d1_gadt.metta.answers
The file was addedtests/baseline_compat/quick/d4_type_prop.metta
The file was addedtests/baseline_compat/quick/f1_imports.metta
The file was addedtests/baseline_compat/quick/d1_gadt.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/represent_and_parse_tests.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/is_space.metta.answers
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/space_intersection_tests.metta.answers
The file was addedtests/baseline_compat/anti-regression/issues/metta-wam-issue-116/test_spo_116378.metta.answers
The file was addedtests/baseline_compat/quick/f1_moduleB.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/synth_buffer/time_synthesize_short.metta.answers
The file was addedtests/baseline_compat/anti-regression/issues/metta-wam-issue-116/test_spo_5000.metta.answers
The file was addedtests/baseline_compat/quick/c1_grounded_basic.metta.answers
The file was addedtests/baseline_compat/quick/f1_moduleA.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/first_answer_long.metta.answers