diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-10-06 21:42:49 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-09 08:52:43 -0400 |
commit | e5c7c9c8578de1248826c21ebd08e475d094a552 (patch) | |
tree | f09780448e1d1a0a214272d772c2badaff8866fd /.gitlab-ci.yml | |
parent | bfdccac6acce84e15292a454d12f4e0d87ef6f10 (diff) | |
download | haskell-e5c7c9c8578de1248826c21ebd08e475d094a552.tar.gz |
Bump win32-tarballs version to 0.3
This should fix #18774.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index df2608a9d0..9cebc625d0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -6,7 +6,7 @@ variables: # Sequential version number capturing the versions of all tools fetched by # .gitlab/ci.sh. - WINDOWS_TOOLCHAIN_VERSION: 2 + WINDOWS_TOOLCHAIN_VERSION: 3 # Disable shallow clones; they break our linting rules GIT_DEPTH: 0 |