Skip to content
Jenkins
log in
Dashboard
OMJulia.jl
master
#18
Status
Changes
Console Output
View Build Information
Docker Fingerprints
Open Blue Ocean
Pipeline Steps
Previous Build
Next Build
Started 4 yr 8 mo ago
Took
2 min 26 sec
Build #18 (Sep 5, 2019, 11:21:17 AM)
Changes
#5378: allow user defined result file names (
details
/
githubweb
)
Push event to branch master at 11:21:10 AM on Sep 5, 2019