ci: Change branch to served

As there seem to be problems while using the main branch, we have changed to a new branch named `served`.
kennylajara · Jun 25, 2024 · a136a10 · a136a10
1 parent fd02166
commit a136a10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/host_docs.yaml b/.github/workflows/host_docs.yaml
@@ -54,6 +54,6 @@ jobs:
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           repository: wml-docs
-          branch: main
+          branch: served
           force: true
           directory: ./docs/build/html