Skip to content

Merge pull request #139 from erwindouna/dependabot/github_actions/rel… #602

Merge pull request #139 from erwindouna/dependabot/github_actions/rel…

Merge pull request #139 from erwindouna/dependabot/github_actions/rel… #602

Workflow file for this run

---
name: Typing
# yamllint disable-line rule:truthy
on:
push:
pull_request:
workflow_dispatch:
env:
DEFAULT_PYTHON: "3.11"
jobs:
mypy:
name: mypy
runs-on: ubuntu-latest
steps:
- name: ⤵️ Check out code from GitHub
uses: actions/checkout@v6
- name: 🏗 Set up uv
uses: astral-sh/setup-uv@v7
- name: 🏗 Set up Python ${{ env.DEFAULT_PYTHON }}
id: python
uses: actions/setup-python@v6
with:
python-version: ${{ env.DEFAULT_PYTHON }}
- name: 🏗 Install dependencies
run: uv sync --all-groups
- name: 🚀 Run mypy
run: uv run mypy examples src tests