Publish requires checkout so that website_update_playground.sh is pre…

…sent
rescript-lang · Oct 31, 2023 · 3e93173 · 3e93173
1 parent 687c479
commit 3e93173
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -352,6 +352,9 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
       - name: Use Node.js
         uses: actions/setup-node@v3
         with: