Merge pull request #316 from ilankri/wikidoc-ci

[ci] Use the latest version of the used actions
ocsigen · May 26, 2023 · 3740bbe · 3740bbe
2 parents 5650647 + a156e69
commit 3740bbe
Showing 1 changed file with 7 additions and 7 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 wikidoc branch
   push:
@@ -25,21 +25,21 @@ jobs:
     steps:
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
         with:
           ref: wikidoc
 
       - name: Install OCaml 🐫
-        uses: avsm/setup-ocaml@v1
+        uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-version: 4.11.0
+          ocaml-compiler: 4.11.x
 
-      - 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=docs
@@ -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.