.github/workflows: Update name of the checkout action token

This PR attempts to fix the failures seen in the Post Merge workflow.
Previously the token used in the checkout action had probably expired
and a new token was generated to test out this hypothesis. Now that
the Post Merge workflow succeeds, we're renaming the token as before
and updating the token value in the repo.

Signed-off-by: Ashutosh Narkar <anarkar4387@gmail.com>
This commit is contained in:
Ashutosh Narkar
2023-12-18 15:02:24 -08:00
parent 24f09cd078
commit b85eb642a5
+1 -1
View File
@@ -13,7 +13,7 @@ jobs:
- name: Check out code
uses: actions/checkout@v4
with:
token: ${{ secrets.GH_PUSH_TOKEN_2 }} # required to push to protected branch below
token: ${{ secrets.GH_PUSH_TOKEN }} # required to push to protected branch below
- name: Generate
run: make clean generate docs-generate-cli-docs