diff options
| author | Brent Cook <busterb@gmail.com> | 2026-05-25 21:45:45 -0500 |
|---|---|---|
| committer | Brent Cook <busterb@gmail.com> | 2026-05-25 22:11:12 -0500 |
| commit | 05fc4bad4ea5211549cc8289e56b39f44022129f (patch) | |
| tree | 21c75a95079cc4c90e15a94207f491b3173c43ff /.github | |
| parent | 273523547816ed7bbd791684b639100e83b1a878 (diff) | |
| download | portable-4.3.2.tar.gz portable-4.3.2.tar.bz2 portable-4.3.2.zip | |
allow releases to be retriggered on failurev4.3.2
This just gives us a manual rerun option.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/release.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 3dd39e0..d9cee28 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml | |||
| @@ -4,6 +4,7 @@ name: "Release" | |||
| 4 | on: | 4 | on: |
| 5 | push: | 5 | push: |
| 6 | tags: [ "v*" ] | 6 | tags: [ "v*" ] |
| 7 | workflow_dispatch: | ||
| 7 | 8 | ||
| 8 | concurrency: | 9 | concurrency: |
| 9 | group: "${{ github.workflow }}-${{ github.event.number || github.ref }}" | 10 | group: "${{ github.workflow }}-${{ github.event.number || github.ref }}" |