github: remove bad quotes
This commit is contained in:
parent
05d1779b79
commit
e2ed36fffe
1 changed files with 2 additions and 2 deletions
4
.github/workflows/build.yaml
vendored
4
.github/workflows/build.yaml
vendored
|
@ -10,10 +10,10 @@ jobs:
|
||||||
fail-fast: false
|
fail-fast: false
|
||||||
matrix:
|
matrix:
|
||||||
ghc: ['8.8.3']
|
ghc: ['8.8.3']
|
||||||
os: ['ubuntu-latest', 'macos-latest']
|
os: [ubuntu-latest, macos-latest]
|
||||||
include: # GHC 8.8.3 fails to install on Windows
|
include: # GHC 8.8.3 fails to install on Windows
|
||||||
- ghc: '8.6.5'
|
- ghc: '8.6.5'
|
||||||
- os: 'windows-latest'
|
os: windows-latest
|
||||||
|
|
||||||
runs-on: ${{ matrix.os }}
|
runs-on: ${{ matrix.os }}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue