Skip to content

[MNT] Distance module changed to method rather than metric #1083

[MNT] Distance module changed to method rather than metric

[MNT] Distance module changed to method rather than metric #1083

Workflow file for this run

name: PR Typecheck
on:
push:
branches:
- main
pull_request:
branches:
- main
paths:
- "aeon/**"
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
cancel-in-progress: true
jobs:
typecheck:
# run the code coverage job if a PR has the '' label
if: ${{ github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'run typecheck test') }}
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Python 3.10
uses: actions/setup-python@v5
with:
python-version: "3.10"
- name: Install aeon, dependencies and mypy
uses: nick-fields/retry@v3
with:
timeout_minutes: 30
max_attempts: 3
command: python -m pip install .[all_extras,unstable_extras,dev] mypy
- name: Show dependencies
run: python -m pip list
- name: Run mypy typecheck
run: mypy aeon/