Merge pull request #36 from ilankri/ci

[ci] Use the latest version of `JamesIves/github-pages-deploy-action`
ocsigen · Mar 25, 2024 · 91a090d · 91a090d
2 parents e665b04 + 006bde8
commit 91a090d
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/siteupdate.yml b/.github/workflows/siteupdate.yml
@@ -2,7 +2,7 @@
 
 name: Update Web site
 
-# Controls when the action will run. 
+# Controls when the action will run.
 on:
   # Triggers the workflow on push or pull request events but only for the master branch
   push:
@@ -34,12 +34,12 @@ jobs:
         with:
           ocaml-compiler: 4.14.0
 
-      - name: Install HOW 
+      - name: Install HOW
         run: |
           opam pin add -y html_of_wiki https://github.com/ocsigen/html_of_wiki.git
           git clone --depth 1 https://github.com/ocsigen/ocsigen.github.io.git __ocsigen.github.io
           mv __ocsigen.github.io/template how_template
-          
+
       - name: Generate doc
         run: |
           export HOW_DOC=tutos
@@ -53,7 +53,7 @@ jobs:
           echo '<!DOCTYPE html><html><head><meta http-equiv="refresh" content="0; URL=latest/manual/intro" /></head><body></body></html>' > $HOW_OUT/index.html
 
       - name: Deploy 🚀
-        uses: JamesIves/github-pages-deploy-action@4.0.0
+        uses: JamesIves/github-pages-deploy-action@v4
         with:
           branch: gh-pages # The branch the action should deploy to.
           folder: _doc # The folder the action should deploy.