Fix CI on Windows

This commit is contained in:
Veronika Romashkina 2020-11-06 14:10:16 +00:00
parent 880efa2e11
commit a17aa8d25b
No known key found for this signature in database
GPG Key ID: 4C5DE1287782218B

View File

@ -44,7 +44,7 @@ jobs:
cabal build --enable-tests --enable-benchmarks
- name: origin/HEAD
if: matrix.os == 'ubuntu-latest'
if: matrix.os != 'macOS-latest'
run: git remote set-head origin -a
- name: Test