diff options
| author | David Goulet <dgoulet@torproject.org> | 2023-09-18 09:08:52 -0400 |
|---|---|---|
| committer | David Goulet <dgoulet@torproject.org> | 2023-09-18 09:08:52 -0400 |
| commit | 6a73836e08c3c1aa7ba6d899219e65a718601dfd (patch) | |
| tree | b440c2870941b7cc84e4a89931f92e5fefda008c | |
| parent | c0a10b259c4f5f58cf8b1a1c94314e49f6cc7eba (diff) | |
| parent | 890c31ceba8bb4d976f30aa4436be0a723d347d7 (diff) | |
| download | tor-6a73836e08c3c1aa7ba6d899219e65a718601dfd.tar.gz tor-6a73836e08c3c1aa7ba6d899219e65a718601dfd.zip | |
Merge branch 'tor-gitlab/mr/766' into maint-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 |