diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-24 18:18:52 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-26 20:09:00 -0500 |
commit | 807310a16bfa0475b51a68eef68c5938932d1a63 (patch) | |
tree | b7ce8016d09d306f014024b319b9c29e32146ff9 | |
parent | fa1db923c369126a8b0eb15951455d55684c788c (diff) | |
download | haskell-807310a16bfa0475b51a68eef68c5938932d1a63.tar.gz |
rel-eng: Add missing rocky8 bindist
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', |