passed Job #331817 in pipeline #46670 for ec45b7ef from refs/merge-requests/136/head by Roberto Porcu @rporcu Oct 21, 2025