Skip to content
Jenkins
log in
Dashboard
mettalog
#20
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 #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
)