Skip to content
Jenkins
log in
Jenkins
Brice.Goglin@inria.fr
My Views
All
basic
v2.2
#37
Back to Project
Status
Changes
Console Output
View Build Information
Pipeline Steps
Previous Build
Next Build
Started 3 yr 6 mo ago
Took
1.3 sec
Build #37 (Oct 8, 2020, 1:34:14 PM)
Push event to branch v2.2 at 1:33:59 PM on Oct 8, 2020
![[Jenkins]](/hwloc/static/3615af24/images/jenkins-header-logo-v2.svg){kind=logo}
Build #37
(Oct 8, 2020, 1:34:14 PM)
