update checkout v3 -> v4, try to fix pages deployment

CoqHott · Jan 31, 2024 · dc8cba9 · dc8cba9
1 parent 1f29c22
commit dc8cba9
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -23,7 +23,7 @@ jobs:
     steps:
 
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: true
           fetch-depth: 1
@@ -76,14 +76,14 @@ jobs:
             --metadata title="LogRel Overview"
             docs/index.md
       - name: Setup Pages
-        if: github.event.ref_name == github.event.repository.default_branch
+        if: github.ref_name == github.event.repository.default_branch
         uses: actions/configure-pages@v3
       - name: Upload artifact
-        if: github.event.ref_name == github.event.repository.default_branch
+        if: github.ref_name == github.event.repository.default_branch
         uses: actions/upload-pages-artifact@v1
         with:
           path: 'docs'
       - name: Deploy to GitHub Pages
-        if: github.event.ref_name == github.event.repository.default_branch
+        if: github.ref_name == github.event.repository.default_branch
         id: deployment
         uses: actions/deploy-pages@v1