Move the EnhancedDocs project id to secrets (#194)

Co-authored-by: Simon Vergauwen <nomisRev@users.noreply.github.com>
arrow-kt · Jul 3, 2023 · 6e80aef · 6e80aef
1 parent 57ed1df
commit 6e80aef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -52,4 +52,4 @@ jobs:
           api-key: ${{ secrets.ENHANCEDOCS_API_KEY }}
 
       - name: Update Docs
-        run: enhancedocs alpha sources web --project 6442ad83351c12aba70adc49 https://arrow-kt.io
+        run: enhancedocs alpha sources web --project ${{ secrets.ENHANCEDOCS_PROJECT_ID }} https://arrow-kt.io