Skip to content

Commit eb9c7a3

Browse files
authored
Merge pull request #375 from PolicyEngine/pages-deploy
Fix Github Pages deploy in the code changes (on main) workflow
2 parents 50ef07f + 34d3ae1 commit eb9c7a3

2 files changed

Lines changed: 11 additions & 9 deletions

File tree

.github/workflows/code_changes.yaml

Lines changed: 7 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -25,9 +25,8 @@ jobs:
2525
args: ". -l 79 --check"
2626
Test:
2727
permissions:
28-
contents: "read"
29-
# Required to auth against gcp
30-
id-token: "write"
28+
contents: "write" # Required for auth with Github Pages deploy
29+
id-token: "write" # Required for auth with GCP
3130
runs-on: ubuntu-latest
3231
steps:
3332
- name: Checkout repo
@@ -62,10 +61,9 @@ jobs:
6261
run: make upload
6362
- name: Test documentation builds
6463
run: make documentation
65-
- name: Deploy documentation
66-
uses: JamesIves/github-pages-deploy-action@releases/v3
64+
- name: Deploy Github Pages documentation
65+
uses: JamesIves/github-pages-deploy-action@v4
6766
with:
68-
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
69-
BRANCH: gh-pages # The branch the action should deploy to.
70-
FOLDER: docs/_build/html # The folder the action should deploy.
71-
CLEAN: true # Optionally delete the contents of the release branch before deploying.
67+
branch: gh-pages
68+
folder: docs/_build/html
69+
clean: true

changelog_entry.yaml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
- bump: patch
2+
changes:
3+
fixed:
4+
- Github pages deploy

0 commit comments

Comments
 (0)