Cherry-picking the two commits introduced in the branch remove-ci-workaround.
Signed-off-by: Boris Djalal <boris.djalal@eurecom.fr>
Showing
Please register or sign in to comment
Signed-off-by: Boris Djalal <boris.djalal@eurecom.fr>