CI: Release - monitor gitlab pipeline (#5460)

* Initial commit of gitlab pipeline monitoring

* increase max job time

* Improve debug output

* s/PR/issue/

Co-authored-by: Benjamin Kampmann <ben@parity.io>
This commit is contained in:
s3krit
2020-04-09 12:58:28 +02:00
committed by GitHub
parent 40c56deea3
commit 98b2f46a89
3 changed files with 76 additions and 0 deletions
+9
View File
@@ -0,0 +1,9 @@
---
title: Release failure for {{ ref }}
---
Pipeline for release {{ ref }} failed. Please investigate.
If the pipeline has failed before pushing to crates.io, delete the release tag
and fix the release as necessary, retagging after complete. If the pipeline has
failed after pushing to crates.io, create a new tag incrementing the version.