a
/
code-server
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #2974 from cdr/jsjoeio/update-publish-workflow 

fix: add workflow_dispatch to publish.yaml
This commit is contained in:
Joe Previte 2021-03-25 17:45:47 -07:00 committed by GitHub
parent ac9f708c59 9cb5dce582
commit f55f79f639
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/publish.yaml vendored
View File

@ -1,6 +1,10 @@
name: publish name: publish
on: on:
# Shows the manual trigger in GitHub UI
# helpful as a back-up in case the GitHub Actions Workflow fails
workflow_dispatch:
release: release:
types: [published] types: [published]