GitHub CI: Change secret

This commit is contained in:
Alexander Zhogov 2020-07-24 13:25:29 +03:00 committed by GitHub
parent 765202e23c
commit 3945acd65b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -32,5 +32,5 @@ jobs:
run: |
python3 check_pr.py
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.CI }}
working-directory: .github/org_control