;ci: release: not disabled.. working a bit better, try it again

This commit is contained in:
Simon Michael 2020-06-09 10:42:24 -07:00
parent 94218ddde2
commit 30925f4cf8

View File

@ -1,14 +1,12 @@
# Create a github release, when a tag starting with a digit is pushed (anywhere ?) # Create a github release, when a "[0-9]*" tag is pushed (anywhere ?)
# https://github.com/actions/create-release - not ready for prime time, 20200609 #
# https://github.com/actions/create-release - still pretty rough, 20200609
name: Create Release name: Create Release
on: on:
push: push:
tags: [ '[0-9]*' ] tags: [ '[0-9]*' ]
# disable this workflow:
branches-ignore:
- '**'
jobs: jobs:
build: build:
@ -24,8 +22,8 @@ jobs:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # This token is provided by Actions, you do not need to create your own token GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # This token is provided by Actions, you do not need to create your own token
with: with:
tag_name: ${{ github.ref }} tag_name: ${{ github.ref }}
release_name: Release ${{ github.ref }} release_name: ${{ github.ref }}
body: | body: |
Release ${{ github.ref }} ${{ github.ref }}
draft: true draft: true
prerelease: false prerelease: false