fix path setting for Windows
parent
426ad93812
commit
a04cd2cea1
|
@ -60,7 +60,7 @@ jobs:
|
||||||
echo "CXX=${{ matrix.compiler }}" >> $GITHUB_ENV
|
echo "CXX=${{ matrix.compiler }}" >> $GITHUB_ENV
|
||||||
}
|
}
|
||||||
# Scoop modifies the PATH so we make the modified PATH global.
|
# Scoop modifies the PATH so we make the modified PATH global.
|
||||||
echo "$env" >> $GITHUB_PATH
|
echo "$env:PATH" >> $GITHUB_PATH
|
||||||
- name: Build (Windows)
|
- name: Build (Windows)
|
||||||
if: runner.os == 'Windows'
|
if: runner.os == 'Windows'
|
||||||
run: |
|
run: |
|
||||||
|
|
Loading…
Reference in New Issue