-
Notifications
You must be signed in to change notification settings - Fork 5
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #42 from lip6/dependabot/github_actions/JamesIves/…
…github-pages-deploy-action-4.4.3 Bump JamesIves/github-pages-deploy-action from 4.4.2 to 4.4.3
- Loading branch information
Showing
3 changed files
with
3 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -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/[email protected].2 | ||
| uses: JamesIves/[email protected].3 | ||
| with: | ||
| branch: gh-pages # The branch the action should deploy to. | ||
| folder: website/ # The folder the action should deploy. | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -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/[email protected].2 | ||
| uses: JamesIves/[email protected].3 | ||
| with: | ||
| branch: osx # The branch the action should deploy to. | ||
| folder: website/ # The folder the action should deploy. | ||
|
|
||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -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/[email protected].2 | ||
| uses: JamesIves/[email protected].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. | ||
|
|
||