Merge branch 'tor-gitlab/mr/766' into maint-0.4.7

6a73836e · David Goulet · c0a10b25 · 890c31ce · 6a73836e
Commit 6a73836e authored 1 year ago by David Goulet
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -121,6 +121,8 @@ debian-i386-minimal:
  <<: *debian-template
  script:
    - ./scripts/ci/ci-driver.sh
+  tags:
+    - physical

 #####
 # Run "make check" with a hardened clang on debian stable.  This takes