Otherwise, the matrix of skipped tests needs also to be managed by the CI
tests. Note that arm64 CI tests are coming on Debian, and multi-arch tests are
already common on Ubuntu (and are used to veto a migration).