Tentative: fix cadleng format command (#1362)

This commit is contained in:
Timothee Guerin 2022-12-02 13:23:41 -08:00 коммит произвёл GitHub
Родитель 19e82a4233
Коммит 2f90df268c
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 3 добавлений и 1 удалений

4
.github/workflows/format-pr.yml поставляемый
Просмотреть файл

@ -33,7 +33,9 @@ jobs:
- name: Checkout
uses: actions/checkout@v3
- name: Checkout Pull Request
run: hub pr checkout ${{ github.event.issue.number }}
run: |
git config --global hub.protocol https
hub pr checkout ${{ github.event.issue.number }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}