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 | 8ef30841acf1076f5e7d2fd61548e5bc9d4288ed (patch) | |
tree | 9ba03c2baff6933534042435d4c9b2589af2f76b | |
parent | e9a4350bb7f630a32ca079abee4e4e457d25f329 (diff) | |
parent | c24203cf31328c21169d3af87265d110ccc86080 (diff) | |
download | tor-8ef30841acf1076f5e7d2fd61548e5bc9d4288ed.tar.gz tor-8ef30841acf1076f5e7d2fd61548e5bc9d4288ed.zip |
Merge branch 'maint-0.4.8' into release-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 |