summaryrefslogtreecommitdiff
path: root/docs/users_guide/compare-flags.py
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-02-03 13:51:45 -0500
committerBen Gamari <ben@smart-cactus.org>2020-02-14 10:17:00 -0500
commit1bc8c8cd02726c5151afdb02a019aec724be8bec (patch)
treec85fb553710b29683dfac814ff1c6460e63d949a /docs/users_guide/compare-flags.py
parentb613a961be70e75747816be4d7642b6378a84c3f (diff)
downloadhaskell-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