remove github release action (#7338)

This commit is contained in:
s3krit
2020-10-16 16:27:20 +02:00
committed by GitHub
parent 463ba54d00
commit da8ce4f258
3 changed files with 0 additions and 76 deletions
-9
View File
@@ -1,9 +0,0 @@
---
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.
-30
View File
@@ -1,30 +0,0 @@
# A github action to track the status of the gitlab pipeline for tagged
# releases, and cancel the release/create a new issue if it fails
name: Monitor gitlab pipeline status
on:
push:
tags:
- v*
- ci-release-*
jobs:
monitor:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Monitor pipeline
run: env; ./.maintain/github/check_gitlab_pipeline.sh
id: monitor_pipeline
env:
TAGGER: ${{ github.event.pusher.name }}
- name: Create Issue
if: failure()
uses: JasonEtco/create-an-issue@v2
with:
filename: .github/ISSUE_TEMPLATE/release.md
assignees: ${{ github.event.pusher.name }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}