diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-03-05 10:40:47 -0500 |
---|---|---|
committer | Zubin Duggal <zubin.duggal@gmail.com> | 2022-05-09 13:15:27 +0530 |
commit | a1f66c83fde8aa157693ee73500d0d7d3a3a504a (patch) | |
tree | ade9b076b802d8012d945a5fe25288e770da013e | |
parent | 509ed1a9b8c5a507e3d0886a6d3a933e492b9e4c (diff) | |
download | haskell-a1f66c83fde8aa157693ee73500d0d7d3a3a504a.tar.gz |
gitlab-ci: Add release job for armv7-deb10
(cherry picked from commit de772f894f9d20f019b77c6edec39fc5e44cccfc)
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a78796801c..ddd9de6b1a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -735,6 +735,10 @@ validate-armv7-linux-deb10: when: always expire_in: 2 week +release-armv7-linux-deb10: + <<: *release + extends: .build-armv7-linux-deb10 + nightly-armv7-linux-deb10: <<: *nightly extends: .build-armv7-linux-deb10 |