diff options
author | Sylvain Henry <sylvain@haskus.fr> | 2019-04-08 16:07:17 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-18 08:12:07 -0400 |
commit | e28706ea0d7b8115716926d0016cd070ab5ab326 (patch) | |
tree | 3587c2f024be304030d78efe995cf44b50220fb3 | |
parent | f0f495f0c4e16520adea83e82885dc08fa0c38a3 (diff) | |
download | haskell-e28706ea0d7b8115716926d0016cd070ab5ab326.tar.gz |
Gitlab: allow execution of CI pipeline from the web interface
[skip ci]
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4475d0755f..9a1ca2ea29 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -30,6 +30,7 @@ stages: - /ghc-[0-9]+\.[0-9]+/ - merge_requests - tags + - web ############################################################ # Runner Tags |