Merge branch 'fix_ci' into 'main'
Passed
Giacomo Caironi
created pipeline for commit
cddf0375
, finished
For main
6 minutes 21 seconds, queued for 313 seconds