Gitlab: allow execution of CI pipeline from the web interface

[skip ci]

Gitlab: allow execution of CI pipeline from the web interface
e28706ea · Sylvain Henry · Marge Bot · f0f495f0 · e28706ea
Commit e28706ea authored 6 years ago by Sylvain Henry Committed by Marge Bot 6 years ago
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -30,6 +30,7 @@ stages:
    - /ghc-[0-9]+\.[0-9]+/
    - merge_requests
    - tags
+    - web

 ############################################################
 # Runner Tags