diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-24 18:18:52 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-26 08:41:56 +0000 |
commit | 2e3dbafa57013b250c92b031ce50962d4f5e13a3 (patch) | |
tree | 34a8b644d4f61a7f5741179060f6423f028867b3 | |
parent | 0a022207a3204c8952a2564ed88c83f748e8cac1 (diff) | |
download | haskell-2e3dbafa57013b250c92b031ce50962d4f5e13a3.tar.gz |
rel-eng: Add missing rocky8 bindistwip/ubuntu-18_04
We intend to release rocky8 bindist so the fetching script needs to know
about them.
-rw-r--r-- | .gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py b/.gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py index f1086f7f5a..d51c298a9f 100644 --- a/.gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py +++ b/.gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py @@ -16,6 +16,7 @@ def job_triple(job_name): bindists = { 'release-x86_64-windows-release': 'x86_64-unknown-mingw32', 'release-x86_64-windows-int_native-release': 'x86_64-unknown-mingw32-int_native', + 'release-x86_64-rocky8-release': 'x86_64-rocky8-linux', 'release-x86_64-ubuntu20_04-release': 'x86_64-ubuntu20_04-linux', 'release-x86_64-ubuntu18_04-release': 'x86_64-ubuntu18_04-linux', 'release-x86_64-linux-fedora33-release+debug_info': 'x86_64-fedora33-linux-dwarf', |