diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-08-24 16:15:28 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-05 14:51:27 -0400 |
commit | bec0d1701673a80d9517acabf559738613ba4e9c (patch) | |
tree | 67fe910bedd902b980806f18a8ee6dfcd4bd3cf1 /.gitlab-ci.yml | |
parent | 15dca84793d5ec4ff922726477923e40caa075eb (diff) | |
download | haskell-bec0d1701673a80d9517acabf559738613ba4e9c.tar.gz |
gitlab-ci: Bump Windows toolchain version
This should have been done when we bumped the bootstrap compiler to
8.8.4.
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 d0f9b28836..3c0a272fbf 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: 1 + WINDOWS_TOOLCHAIN_VERSION: 2 # Disable shallow clones; they break our linting rules GIT_DEPTH: 0 |