From e2369b2a182cdd22a5c56a56822fba77c6020f68 Mon Sep 17 00:00:00 2001 From: Reuben Miller Date: Fri, 7 Jun 2024 00:34:32 +0200 Subject: [PATCH] ci: update search index when triggering gh_pages deployment --- .github/workflows/publish.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 0964e9f..df13730 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -8,6 +8,6 @@ jobs: steps: - name: publish github pages run: | - gh workflow run gh-pages.yml -R thin-edge/thin-edge.io + gh workflow run gh-pages.yml -R thin-edge/thin-edge.io -f update_search_index=true env: GITHUB_TOKEN: ${{ secrets.ACTIONS_PAT }}