diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-24 13:26:15 +0100 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-24 13:26:15 +0100 |
commit | e4f7a2c27b8fdd640d933021587e006191f19e8a (patch) | |
tree | 31cddd07812c8bfb0fcc7a965add414d483520f4 /.github | |
parent | 55d0f15b6c26e9ed5a973c7e23644becbfa897e4 (diff) |
GitHub Actions: Use single line for Windows build tools
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b0f56a5124..a976ab0d7a 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -108,8 +108,7 @@ jobs: - name: "[Windows] Install additional build tools" if: runner.os == 'Windows' - run: | - python -m pip install ninja git+https://github.com/frerich/clcache.git + run: python -m pip install ninja git+https://github.com/frerich/clcache.git - name: "[macOS/Windows] Get build environment name" if: runner.os != 'Linux' |