Skip to content

Merge pull request #191 from dandi/dependabot/github_actions/actions/… #136

Merge pull request #191 from dandi/dependabot/github_actions/actions/…

Merge pull request #191 from dandi/dependabot/github_actions/actions/… #136

Workflow file for this run

name: Type-check
on:
- push
- pull_request
jobs:
typing:
runs-on: ubuntu-latest
steps:
- name: Check out repository
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: '3.7'
- name: Install dependencies
run: |
python -m pip install --upgrade pip
python -m pip install --upgrade tox
- name: Run type checker
run: tox -e typing