diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-02-03 13:51:45 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-02-14 10:17:00 -0500 |
commit | 1bc8c8cd02726c5151afdb02a019aec724be8bec (patch) | |
tree | c85fb553710b29683dfac814ff1c6460e63d949a /docs/users_guide/compare-flags.py | |
parent | b613a961be70e75747816be4d7642b6378a84c3f (diff) | |
download | haskell-1bc8c8cd02726c5151afdb02a019aec724be8bec.tar.gz |
gitlab-ci: Allow Windows build to fail due to #17777
The fact that `exec` isn't POSIX compliant means that things can break
in arbitrarily bad ways. Sometimes things happen to work correctly but
sadly this isn't always the case.
Diffstat (limited to 'docs/users_guide/compare-flags.py')
0 files changed, 0 insertions, 0 deletions