CI: update diapotb branch
Passed
Cédric Traizet
created pipeline for commit
905d4920
, finished
Related merge request !597 to merge fix_diapotb
68 minutes 56 seconds, queued for 1 seconds