Bump JamesIves/github-pages-deploy-action from 4.4.3 to 4.5.0

Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.4.3 to 4.5.0. - [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases) - [Commits](JamesIves/github-pages-deploy-action@v4.4.3...v4.5.0) --- updated-dependencies: - dependency-name: JamesIves/github-pages-deploy-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
lip6 · Nov 28, 2023 · f85fe90 · f85fe90
1 parent 0966229
commit f85fe90
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.4.3
+      uses: JamesIves/github-pages-deploy-action@v4.5.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.4.3
+      uses: JamesIves/github-pages-deploy-action@v4.5.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.4.3
+        uses: JamesIves/github-pages-deploy-action@v4.5.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.