Skip to content

Commit

Permalink
Bump github-script action
Browse files Browse the repository at this point in the history
  • Loading branch information
tvdijen committed Jan 17, 2024
1 parent 5e13336 commit b42da17
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/documentation.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ jobs:
steps:
- name: Run docs build
if: github.event_name != 'pull_request'
uses: actions/github-script@v6
uses: actions/github-script@v7
with:
# Token has to be generated on a user account that controls the docs-repository.
# The _only_ scope to select is "Access public repositories", nothing more.
Expand Down

0 comments on commit b42da17

Please sign in to comment.