Commit 73671b5a authored by Eric Duminil's avatar Eric Duminil
Browse files

Select board for make, if desired

parent 14fdec7d
Pipeline #6025 passed with stage
in 1 minute and 48 seconds