From df2bd4e3f9b92b12050fd9c9257c4365e3d73135 Mon Sep 17 00:00:00 2001 From: Nik Date: Sat, 29 Jul 2023 12:12:33 +0200 Subject: [PATCH] git: Run PatternLanguage webpage CI --- .github/workflows/dispatch.yml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/dispatch.yml b/.github/workflows/dispatch.yml index 5e9112b..024ef38 100644 --- a/.github/workflows/dispatch.yml +++ b/.github/workflows/dispatch.yml @@ -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