We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 11f32b7 commit 14dda5fCopy full SHA for 14dda5f
src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
@@ -30,7 +30,7 @@ python3 "$X_PY" test --stage 2 src/tools/rustfmt
30
# We set the GC interval to the shortest possible value (0 would be off) to increase the chance
31
# that bugs which only surface when the GC runs at a specific time are more likely to cause CI to fail.
32
# This significantly increases the runtime of our test suite, or we'd do this in PR CI too.
33
-if [[ -z "${PR_CI_JOB:-}" ]]; then
+if [ -z "${PR_CI_JOB:-}" ]; then
34
MIRIFLAGS=-Zmiri-provenance-gc=1 python3 "$X_PY" test --stage 2 src/tools/miri
35
else
36
python3 "$X_PY" test --stage 2 src/tools/miri
0 commit comments