Merge branch 'tor-gitlab/mr/555'

This commit is contained in:
David Goulet 2022-05-16 08:45:32 -04:00
commit bae04e6a98

View File

@ -113,7 +113,7 @@ debian-minimal:
script: script:
- ./scripts/ci/ci-driver.sh - ./scripts/ci/ci-driver.sh
# Minmal check on debian/i386: just make, make check. # Minimal check on debian/i386: just make, make check.
# #
debian-i386-minimal: debian-i386-minimal:
image: i386/debian:buster image: i386/debian:buster