CI: improvements
-- remove extra build options (not necessary anymore)
-- fix in reporting
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
Showing
Please register or sign in to comment
-- remove extra build options (not necessary anymore)
-- fix in reporting
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>