Started 5 mo 12 days ago
Took 1 min 45 sec

Success Build #17 (Jul 20, 2020, 1:18:02 PM)

Changes
  1. Another small fix (details / githubweb)

Branch indexing

Revision: 54d5eac1894fca19ed2d32e6b5138f8443046b13
  • master
Revision: 78e505581bfc1d87a0194b7a0531760b3985472d
  • master
Revision: 330dc952b9ccf7ca181ebe372a5e2f9f722e9326
  • master