diff options
author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-08-25 15:52:56 +0300 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-19 15:47:24 -0400 |
commit | 2229d570fc78867190febb4f13c799b258a41f6d (patch) | |
tree | f244c2e43d116c3aac7cb68da58ef303e0a5406f /.gitlab | |
parent | 45fa82182bc61e3966fd51496c35130cd067a5df (diff) | |
download | haskell-2229d570fc78867190febb4f13c799b258a41f6d.tar.gz |
Require happy >=1.20
Diffstat (limited to '.gitlab')
-rwxr-xr-x | .gitlab/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 4b37a00b83..938cc22da9 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -6,7 +6,7 @@ set -e -o pipefail # Configuration: -hackage_index_state="@1579718451" +hackage_index_state="2020-09-14T19:30:43Z" # Colors BLACK="0;30" |