Skip to content
Snippets Groups Projects
Commit 21edbb6f authored by Riccardo Maria Bianchi's avatar Riccardo Maria Bianchi :sunny:
Browse files

CI: update make options

parent af64c5b5
No related branches found
No related tags found
No related merge requests found
Pipeline #1670096 failed
Status
Pipeline
Created by
Stages
Actions
Failed

00:10:33

avatar
Download artifacts

No artifacts found