Skip to content

Commit

Permalink
[Feature:Developer] Dispatch release updates to main repo (#102)
Browse files Browse the repository at this point in the history
Adds workflow to update the main Submitty repository on release.
  • Loading branch information
skara9 authored Jul 14, 2023
1 parent 595867e commit 3c3a9d6
Showing 1 changed file with 22 additions and 0 deletions.
22 changes: 22 additions & 0 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
name: Release

on:
release:
types: [published]

jobs:
dispatch-update:
name: Dispatch Update
runs-on: ubuntu-latest
steps:
- uses: Submitty/[email protected]
if: ${{ github.repository_owner == 'Submitty' }}
with:
event-type: repo-release
token: ${{ secrets.SUBMITTYBOT_DEPENDENCY_TOKEN }}
repository: ${{ github.repository_owner }}/Submitty
client-payload: '{
"repo_name": ${{ toJSON(github.event.repository.name) }},
"repo": ${{ toJSON(github.event.repository.full_name) }},
"tag": ${{ toJSON(github.event.release.tag_name) }}
}'

0 comments on commit 3c3a9d6

Please sign in to comment.