![[Jenkins]](/jenkins/static/283deee7/images/jenkins-header-logo-v2.svg){kind=logo}
Started 2 mo 2 days ago
Took 23 sec
on master
Build #263
(Aug 19, 2020 10:40:05 AM)
 | No changes. |
 | Task Scanner: 33 open tasks in 71 workspace files. |