diff options
| author | Joakim Lindqvist <[email protected]> | 2024-09-16 16:52:50 +0200 |
|---|---|---|
| committer | GitHub Enterprise <[email protected]> | 2024-09-16 16:52:50 +0200 |
| commit | 37bc61f2031731022c82e0ae2689d1c7f0182ff3 (patch) | |
| tree | 7e7e249407bfd3db8faca98851f9d3996fd189e7 /.github/workflows/mirror_releases.yml | |
| parent | 5.5.7 (diff) | |
| download | zen-37bc61f2031731022c82e0ae2689d1c7f0182ff3.tar.xz zen-37bc61f2031731022c82e0ae2689d1c7f0182ff3.zip | |
Running the public github release mirroring as part of creating the release (#158)
* Running the public github release mirroring as part of creating the release
This because workflows does not trigger events when created using the built in GITHUB_TOKEN so the release we create does not trigger the release replication workflow.
Diffstat (limited to '.github/workflows/mirror_releases.yml')
| -rw-r--r-- | .github/workflows/mirror_releases.yml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.github/workflows/mirror_releases.yml b/.github/workflows/mirror_releases.yml index 6feaa74bf..27e1e8135 100644 --- a/.github/workflows/mirror_releases.yml +++ b/.github/workflows/mirror_releases.yml @@ -1,9 +1,10 @@ name: Mirror Releases to Github.com on: workflow_dispatch: - - release: - types: [released] + + # Releases created by the GITHUB_TOKEN does not trigger workflow events like this, as such we also run this action within the create_release workflow + #release: + # types: [released] concurrency: group: git-mirror-releases |