diff options
| author | David Goulet <dgoulet@torproject.org> | 2023-09-18 09:08:57 -0400 |
|---|---|---|
| committer | David Goulet <dgoulet@torproject.org> | 2023-09-18 09:08:57 -0400 |
| commit | c24203cf31328c21169d3af87265d110ccc86080 (patch) | |
| tree | a8c2600c8b1b33aa4131277720fc896fed1919a8 | |
| parent | 5a2f46a7bafe855870864db258544bf157d300a7 (diff) | |
| parent | 6a73836e08c3c1aa7ba6d899219e65a718601dfd (diff) | |
| download | tor-c24203cf31328c21169d3af87265d110ccc86080.tar.gz tor-c24203cf31328c21169d3af87265d110ccc86080.zip | |
Merge branch 'maint-0.4.7' into maint-0.4.8
| -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 45142671aa..3f4a9b7af5 100644 --- 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 |