diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-15 14:12:20 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2024-08-15 14:12:20 +0200 |
| commit | d30a96c7b24947c3651c6d65a40b9b67aa110971 (patch) | |
| tree | 05b075a996fd9916b8b94b5cd6d397949dd5f3e4 /.github | |
| parent | 78c303a0181f2132e2254f965176b549044d74f2 (diff) | |
ci: Publish manual for tagged releases
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/manual.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml index ccf5900..3b02f40 100644 --- a/.github/workflows/manual.yml +++ b/.github/workflows/manual.yml @@ -2,6 +2,7 @@ name: Manual on: push: branches: main + tags: "v[0-9]+.[0-9]+.[0-9]+" jobs: manual: name: Manual |