diff options
| author | David Goulet <dgoulet@torproject.org> | 2023-09-18 09:08:56 -0400 |
|---|---|---|
| committer | David Goulet <dgoulet@torproject.org> | 2023-09-18 09:08:56 -0400 |
| commit | e61215f017f738764c1e96b1063fe8bf3a69c121 (patch) | |
| tree | a43aa194a307014a3b29144e38ec148df688867d | |
| parent | 77c41700ad3c8356e62e310e778a417ec55661cb (diff) | |
| parent | 6a73836e08c3c1aa7ba6d899219e65a718601dfd (diff) | |
| download | tor-e61215f017f738764c1e96b1063fe8bf3a69c121.tar.gz tor-e61215f017f738764c1e96b1063fe8bf3a69c121.zip | |
Merge branch 'maint-0.4.7' into release-0.4.7
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e1ea5bee4c..41caa95537 100644 --- 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 |