diff options
author | Roman Grundkiewicz <rgrundkiewicz@gmail.com> | 2021-03-02 11:39:32 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-02 11:39:32 +0300 |
commit | 5d2357f0e84069151a62d400cb453c9051cfe7c8 (patch) | |
tree | fe39c6674122f97c9563f4e55ab7479acc314f72 /.github | |
parent | 8aa546ae5773fd7d6717e99965cfd2f9fc4f1182 (diff) |
Update filter pattern in GitHub release action (#817)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/release.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 7cd41220..ad84360f 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -4,8 +4,8 @@ #
# 1. Create a new tag locally and push it to the remote, for example:
#
-# git tag v1.2.3
-# git push origin v1.2.3
+# git tag 1.2.3
+# git push origin 1.2.3
#
# The workflow, if built successfully, will open a new draft release (not seen
# for the public, available from under the /releases subpage on GitHub), use
@@ -26,7 +26,7 @@ name: Release on:
push:
tags:
- - "v*.*.*"
+ - "[0-9]+.[0-9]+.[0-9]+*"
env:
cuda_version: "10.2"
|