Verified Commit 58b36a23 authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

On GNU/Linux, pick x13 binary from the path if it is there

As a consequence, no need to download the binary on the CI runners, since it is
already there.
parent 7e1594bb
Pipeline #480 passed with stage
in 1 minute and 6 seconds