diff options
| author | Ben Kimock <kimockb@gmail.com> | 2023-11-17 20:47:38 -0500 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2023-11-19 13:29:02 -0500 |
| commit | 0ec82fa9d3d68dd2f29f721a6db6a3af5332242d (patch) | |
| tree | 86a7f9cb4ef119fc8ccab1e823b59591e43fe5de /src/tools/miri/.github/workflows | |
| parent | 0d0a41789f86c2fc62382831e5256809b3bbe19e (diff) | |
| download | rust-0ec82fa9d3d68dd2f29f721a6db6a3af5332242d.tar.gz rust-0ec82fa9d3d68dd2f29f721a6db6a3af5332242d.zip | |
tag-gc -> provenance-gc
Diffstat (limited to 'src/tools/miri/.github/workflows')
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 67b48a3742d..554a12909fc 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -37,7 +37,7 @@ jobs: - name: Set the tag GC interval to 1 on linux if: runner.os == 'Linux' - run: echo "MIRIFLAGS=-Zmiri-tag-gc=1" >> $GITHUB_ENV + run: echo "MIRIFLAGS=-Zmiri-provenance-gc=1" >> $GITHUB_ENV # Cache the global cargo directory, but NOT the local `target` directory which # we cannot reuse anyway when the nightly changes (and it grows quite large |