Skip to content
Jenkins
log in
Dashboard
TransportMaps-private-master-mpi
#10
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
updated public mirror link (
details
)
Commit
5f754cf01a81b1960c2a4ba27a4b47c507549f5d
by
dabi
updated public mirror link
The file was modified
update-public-mirror.sh
(diff)