![[Jenkins]](/jenkins/static/32f60b79/images/headshot.png)
Started 1 yr 10 mo ago
Took 0.86 sec
on build3.forge.etsi.org
Build #1045
(May 27, 2022 4:28:41 PM)
Started by GitLab push by Giacomo Bernini
 | Failed to determine (log) |
 | Started by GitLab push by Giacomo Bernini |