Fix compilation problem with external package Hal
Passed
Felix Weiglhofer
created pipeline for commit 3fd35831
, finished
Related merge request !1680 to merge fix_hal_compilation
49 minutes 32 seconds, queued for 1 seconds