forked fromnumpy/numpy-user-dtypes
- Notifications
You must be signed in to change notification settings - Fork0
SLEEF Migration#18
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters
| name:Validate static types in quaddtype | |
| permissions:read-all | |
| on: | |
| pull_request: | |
| paths: | |
| -.github/workflows/typecheck.yml | |
| -quaddtype/numpy_quaddtype/** | |
| -quaddtype/meson.build | |
| -quaddtype/pyproject.toml | |
| workflow_dispatch: | |
| concurrency: | |
| group:${{ github.workflow }}-${{ github.head_ref || github.run_id }} | |
| cancel-in-progress:true | |
| jobs: | |
| typecheck_quaddtype: | |
| runs-on:ubuntu-latest | |
| timeout-minutes:2 | |
| steps: | |
| -uses:actions/checkout@v6 | |
| -uses:astral-sh/setup-uv@v7.1.4 | |
| with: | |
| activate-environment:true | |
| python-version:"3.11" | |
| -name:install | |
| working-directory:quaddtype | |
| run:| | |
| uv pip install --pre --extra-index-url https://pypi.anaconda.org/scientific-python-nightly-wheels/simple numpy | |
| uv pip install meson>=1.3.2 meson-python wheel ninja | |
| uv pip install mypy pyright . --no-build-isolation | |
| -name:pyright | |
| working-directory:quaddtype | |
| run:pyright | |
| -name:pyright --verifytypes | |
| working-directory:quaddtype | |
| run:pyright --ignoreexternal --verifytypes numpy_quaddtype | |
| -name:mypy | |
| working-directory:quaddtype | |
| run:mypy --no-incremental --cache-dir=/dev/null . | |
| -name:stubtest | |
| working-directory:quaddtype | |
| run:stubtest --mypy-config-file pyproject.toml numpy_quaddtype |