Merge pull request #48 from lip6/dependabot/github_actions/JamesIves/…

…github-pages-deploy-action-4.6.0 Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0
lip6 · May 7, 2024 · b53f771 · b53f771
2 parents 5fb777d + d0acb40
commit b53f771
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -64,7 +64,7 @@ jobs:
       run: cd LTL ; strip -s src/its-ltl ; cp src/its-ltl ../website/ ; 
 
     - name: Deploy to GitHub Pages
-      uses: JamesIves/github-pages-deploy-action@v4.5.0
+      uses: JamesIves/github-pages-deploy-action@v4.6.0
       with:
           branch: gh-pages # The branch the action should deploy to.
           folder: website/ # The folder the action should deploy.

diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
@@ -61,7 +61,7 @@ jobs:
     - name: strip binaries
       run: cd LTL ; strip src/its-ltl ; cp src/its-ltl ../website/ 
     - name: Deploy to GitHub Pages
-      uses: JamesIves/github-pages-deploy-action@v4.5.0
+      uses: JamesIves/github-pages-deploy-action@v4.6.0
       with:
           branch: osx  # The branch the action should deploy to.
           folder: website/  # The folder the action should deploy.

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
@@ -66,7 +66,7 @@ jobs:
       - name: move to website
         run: ls -lah ; mkdir -p windows ; cp windows.zip windows/ ; cp its-reach.exe windows ; cp its-ctl.exe windows/ ; cp its-ltl.exe windows/ ; ls -lah windows/
       - name: Deploy
-        uses: JamesIves/github-pages-deploy-action@v4.5.0
+        uses: JamesIves/github-pages-deploy-action@v4.6.0
         with:
           branch: Windows
           folder: windows/ # The deployment folder should match the name of the artifact. Even though our project builds into the 'build' folder the artifact name of 'site' must be placed here.