From efe1987e8beb2c74a1da5f88fd3ed9ac5db7c3e8 Mon Sep 17 00:00:00 2001
From: Peter Johnson <johnson.peter@gmail.com>
Date: Wed, 12 Jul 2023 23:29:56 -0700
Subject: [PATCH] [ci] Trigger pages repo workflow (#5441)

---
 .github/workflows/documentation.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index f0459b6b45..1d3287456e 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -53,3 +53,13 @@ jobs:
           clean: true
           single-commit: true
           folder: docs/build/docs
+      - name: Trigger Workflow
+        uses: actions/github-script@v6
+        with:
+          script: |
+            github.rest.actions.createWorkflowDispatch({
+              owner: context.repo.owner,
+              repo: 'wpilibsuite.github.io',
+              workflow_id: 'static.yml',
+              ref: 'main',
+            })