Merge branch 'tor-gitlab/mr/746'

This commit is contained in:
David Goulet 2023-08-25 12:52:22 -04:00
commit ed6186631b

View File

@ -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
@ -268,4 +270,4 @@ rust-latest:
- rustup show
- cargo clippy --all-features --all-targets -- -D warnings
after_script:
- cargo clean
- cargo clean