;ci: release: tweak

This commit is contained in:
Simon Michael 2020-06-09 10:19:30 -07:00
parent f6d1747ebd
commit cdfc508e55

View File

@ -1,4 +1,4 @@
# Create a github release, when a "v*" tag is pushed to master.
# Create a github release, when a tag starting with a digit is pushed (anywhere ?)
# https://github.com/actions/create-release
@ -6,8 +6,7 @@ name: Create Release
on:
push:
tags: [ 'v*' ]
branches: [ master ]
tags: [ '[0-9]*' ]
jobs:
build: