mirror of
https://github.com/revanced/revanced-polling-api.git
synced 2025-04-29 22:24:26 +02:00

Conflicts: .github/workflows/mypy.yml Date: Thu Nov 17 03:22:25 2022 -0300 Changes to be committed: new file: .github/workflows/mypy.yml new file: SECURITY.md
27 lines
555 B
YAML
27 lines
555 B
YAML
name: MyPy Type Checking
|
|
|
|
on:
|
|
push:
|
|
paths:
|
|
- '*.py'
|
|
|
|
jobs:
|
|
mypy:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Setup Python
|
|
uses: actions/setup-python@v1
|
|
with:
|
|
python-version: 3.10.8
|
|
architecture: x64
|
|
- name: Checkout
|
|
uses: actions/checkout@v1
|
|
- name: Install mypy
|
|
run: pip install mypy
|
|
- name: Run mypy
|
|
uses: sasanquaneuf/mypy-github-action@releases/v1
|
|
with:
|
|
checkName: 'mypy'
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GH_TOKEN }}
|