diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 45919105..ecd9ec02 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.3 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..4a30517f 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.3 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..b841b319 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.3 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.