git: Run PatternLanguage webpage CI

This commit is contained in:
Nik
2023-07-29 12:12:33 +02:00
committed by GitHub
parent 7723cf55c6
commit df2bd4e3f9

View File

@@ -45,3 +45,12 @@ jobs:
repo: Documentation
owner: WerWolv
event_type: update_pl_docs
- name: ✉️ Update PatternLanguage Website
if: ${{ env.DISPATCH_TOKEN != '' }}
uses: mvasigh/dispatch-action@main
with:
token: ${{ secrets.DISPATCH_TOKEN }}
repo: PatternLanguageWeb
owner: WerWolv
event_type: rebuild_wasm