Started 2 yr 3 mo ago
Took 13 sec on build.forge.etsi.org

Failed Build #22 (Aug 9, 2022 5:22:35 PM)

Started by GitLab push by Giacomo Bernini
Changes
  1. fix (detail)

Started by GitLab push by Giacomo Bernini

Revision: 966fa99796ad1b9232fd21e44b3964c22259eebb
  • origin/3.4.1-maintenance