Skip to content

qualify module quantification errors better (#2685) #610

qualify module quantification errors better (#2685)

qualify module quantification errors better (#2685) #610

Triggered via push December 25, 2024 20:25
Status Success
Total duration 5m 31s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 15 warnings, and 4 notices
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
asinh_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/functions/asinh_1/xunit_report.xml [took 0s]
meta_predicate_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/syntax/directives/meta_predicate_1/xunit_report.xml [took 0s]
cosh_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/functions/cosh_1/xunit_report.xml [took 0s]
sinh_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/functions/sinh_1/xunit_report.xml [took 0s]
acosh_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/functions/acosh_1/xunit_report.xml [took 0s]
ensure_loaded_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/directives/ensure_loaded_1/xunit_report.xml [took 0s]
unbounded (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/unbounded/xunit_report.xml [took 0s]
atanh_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/functions/atanh_1/xunit_report.xml [took 0s]
tanh_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/functions/tanh_1/xunit_report.xml [took 0s]
initialization_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/directives/initialization_1/xunit_report.xml [took 0s]
current_op_3 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/predicates/current_op_3/xunit_report.xml [took 0s]
log10_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/functions/log10_1/xunit_report.xml [took 0s]
include_1 (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/directives/include_1/xunit_report.xml [took 0s]
conditional_compilation (tests) failed: tests#L0
/home/runner/logtalk/tests/prolog/directives/conditional_compilation/xunit_report.xml [took 0s]
57 tests found
There are 57 tests, see "Raw output" for the full list of tests.
130 skipped tests found
There are 130 skipped tests, see "Raw output" for the full list of skipped tests.
2436 tests found (test 1 to 2191)
There are 2436 tests, see "Raw output" for the list of tests 1 to 2191.
2436 tests found (test 2192 to 2436)
There are 2436 tests, see "Raw output" for the list of tests 2192 to 2436.