|
name: Sync typeshed |
|
|
|
on: |
|
workflow_dispatch: |
|
schedule: |
|
- cron: "0 0 1,15 * *" |
|
|
|
permissions: |
|
contents: write |
|
pull-requests: write |
|
|
|
jobs: |
|
sync_typeshed: |
|
name: Sync typeshed |
|
if: github.repository == 'python/mypy' |
|
runs-on: ubuntu-latest |
|
steps: |
|
- uses: actions/checkout@v4 |
|
with: |
|
fetch-depth: 0 |
|
# TODO: use whatever solution ends up working for |
|
# https://github.com/python/typeshed/issues/8434 |
|
- uses: actions/setup-python@v5 |
|
with: |
|
python-version: "3.10" |
|
- name: git config |
|
run: | |
|
git config --global user.name mypybot |
|
git config --global user.email '<>' |
|
- name: Sync typeshed |
|
run: | |
|
python -m pip install requests==2.28.1 |
|
GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }} python misc/sync-typeshed.py --make-pr |