Merge branch 'maint-0.4.7' into maint-0.4.8

c24203cf · David Goulet · 5a2f46a7 · 6a73836e · c24203cf
Commit c24203cf authored 1 year ago by David Goulet
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -124,6 +124,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