Fix compilation problem with external package Hal
Passed
Florian Uhlig
created pipeline for commit b17a698f
, finished
Related merge request !1675 to merge fix_hal_compilation
46 minutes 52 seconds, queued for 2 seconds