Use latest version of create-github-app-token

Co-authored-by: Dongdong Tian <[email protected]>
GenericMappingTools · Apr 10, 2024 · 0ecc547 · 0ecc547
1 parent da09e46
commit 0ecc547
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/format-command.yml b/.github/workflows/format-command.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       # Generate token from GenericMappingTools bot
-      - uses: actions/[email protected]
+      - uses: actions/[email protected].3
         id: generate-token
         with:
           app-id: ${{ secrets.APP_ID }}