diff --git a/.github/dependabot.yml b/.github/dependabot.yml new file mode 100644 index 000000000000..5ace4600a1f2 --- /dev/null +++ b/.github/dependabot.yml @@ -0,0 +1,6 @@ +version: 2 +updates: + - package-ecosystem: "github-actions" + directory: "/" + schedule: + interval: "weekly" diff --git a/.github/workflows/build-sphinx.yml b/.github/workflows/build-sphinx.yml index fe82e96b2f00..b4484a029880 100644 --- a/.github/workflows/build-sphinx.yml +++ b/.github/workflows/build-sphinx.yml @@ -193,6 +193,8 @@ jobs: permissions: # Needed to remove docs for closed pull request from the repo contents: write + # Needed to modify a comment in the pull request's issue + pull-requests: write runs-on: ubuntu-20.04