ci: add username to repository name

kennylajara · Jun 25, 2024 · 0edb702 · 0edb702
1 parent a136a10
commit 0edb702
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/host_docs.yaml b/.github/workflows/host_docs.yaml
@@ -53,7 +53,7 @@ jobs:
         uses: ad-m/[email protected]
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          repository: wml-docs
+          repository: kennylajara/wml-docs
           branch: served
           force: true
           directory: ./docs/build/html