CI: add new trigger

devitocodes · Oct 10, 2023 · 4e220c3 · 4e220c3
1 parent c430a2c
commit 4e220c3
Showing 1 changed file with 10 additions and 3 deletions.
diff --git a/.github/workflows/documentation.yml → .github/workflows/triggers.yml b/.github/workflows/documentation.yml → .github/workflows/triggers.yml
@@ -1,4 +1,4 @@
-name: Documentation
+name: Master triggers
 
 on:
   push:
@@ -12,9 +12,16 @@ jobs:
     steps:
     - uses: actions/checkout@v3
 
-    - name: Repository Dispatch
+    - name: Trigger doc build
       uses: peter-evans/repository-dispatch@v2
       with:
         token: ${{ secrets.DEPLOY_DOC_PAT }}
         repository: devitocodes/devitoproject.org
-        event-type: deploy-docs
+        event-type: deploy-docs
+
+    - name: Trigger pro submodule update
+      uses: peter-evans/repository-dispatch@v2
+      with:
+        token: ${{ secrets.PRO_SUBMODULE }}
+        repository: devitocodespro/devitopro
+        event-type: update-submodule