We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 09e975d commit 25ca7f6Copy full SHA for 25ca7f6
.github/workflows/ci.yml
@@ -34,11 +34,13 @@ jobs:
34
steps:
35
- uses: actions/checkout@v3
36
37
- - name: Configure
38
- run: echo "MIRIFLAGS=-Zmiri-tag-gc=$([[ ${{ matrix.os }} == \"ubuntu.latest\" ]]; echo $?)" >> $GITHUB_ENV
+ - name: Set the tag GC interval to 0 on linux
+ if: runner.os == 'linux'
39
+ run: echo "MIRIFLAGS=-Zmiri-tag-gc=1" >> $GITHUB_PATH
40
- - name: Test
41
- run: echo $MIRIFLAGS
+ - name: Disable the tag GC on non-linux
42
+ if: runner.os != 'linux'
43
+ run: echo "MIRIFLAGS=-Zmiri-tag-gc=0" >> $GITHUB_PATH
44
45
# We install gnu-tar because BSD tar is buggy on macOS builders of GHA.
46
# See <https://github.com/actions/cache/issues/403>.
0 commit comments