From 084577f10ed75913480f115bcab9a7da42b1432f Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 20 May 2024 04:14:38 +0000 Subject: [PATCH] Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1 Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.6.0 to 4.6.1. - [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases) - [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.6.0...v4.6.1) --- updated-dependencies: - dependency-name: JamesIves/github-pages-deploy-action dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- .github/workflows/linux.yml | 2 +- .github/workflows/osx.yml | 2 +- .github/workflows/windows.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 45919105..eeba8227 100644 --- 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.6.0 + uses: JamesIves/github-pages-deploy-action@v4.6.1 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 index 72b7d5cf..410da1d7 100644 --- 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.6.0 + uses: JamesIves/github-pages-deploy-action@v4.6.1 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 index 4a242006..2227ad50 100644 --- 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.6.0 + uses: JamesIves/github-pages-deploy-action@v4.6.1 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.