summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2022-03-05 10:40:47 -0500
committerZubin Duggal <zubin.duggal@gmail.com>2022-05-09 13:15:27 +0530
commita1f66c83fde8aa157693ee73500d0d7d3a3a504a (patch)
treeade9b076b802d8012d945a5fe25288e770da013e
parent509ed1a9b8c5a507e3d0886a6d3a933e492b9e4c (diff)
downloadhaskell-a1f66c83fde8aa157693ee73500d0d7d3a3a504a.tar.gz
gitlab-ci: Add release job for armv7-deb10
(cherry picked from commit de772f894f9d20f019b77c6edec39fc5e44cccfc)
-rw-r--r--.gitlab-ci.yml4
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