Skip to content
Jenkins
log in
Dashboard
mettalog
#24
Changes since last success
Status
Changes
Console Output
View Build Information
Polling Log
Metadata
Timings
Git Build Data
Changes since last success
Compare environment
Previous Build
Next Build
build #24
: Changes
metta_parser (
details
/
githubweb
)
build #23
: Changes
Removal of unused metta_reader.pl (
details
/
githubweb
)
fix of one intersection test (
details
/
githubweb
)
build #22
: Changes
Runs all the baseline tets once again (
details
/
githubweb
)
build #21
: Changes
Updates for or tests (
details
/
githubweb
)
Update to CI to put valid links in test output (
details
/
githubweb
)
Probably fixes the broken repl that @royward was thiunking was the case (
details
/
githubweb
)
correct intersect-elements which needs a collapse on the outside (
details
/
githubweb
)
build #20
: Changes
.answers files (
details
/
githubweb
)
fixed to pldoc entries (
details
/
githubweb
)
using a lambda in report_progress_so_far/4 (
details
/
githubweb
)
build #19
: Changes
Update to tests like intersection (
details
/
githubweb
)
build #18
: Changes
fixed type that coused tests to fail (
details
/
githubweb
)
build #17
: Changes
show progress per test (
details
/
githubweb
)