chore(ci)(deps): bump actions/checkout from 6 to 7 #84

	# Static type-checking with mypy.
	#
	# This runs mypy over a curated, strictly-typed subset of BrainPy (configured via
	# ``[tool.mypy]`` in pyproject.toml). The curated set is fully annotated and checked
	# under strict rules; the rest of the (large, JAX-based) code base is resolved
	# silently so it neither blocks nor pollutes the check. Grow the curated set in
	# pyproject.toml as more modules become fully typed.

	name: Type Checking

	on:
	push:
	branches:
	- '**' # matches every branch
	pull_request:
	branches:
	- '**' # matches every branch

	permissions:
	contents: read

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	mypy:
	runs-on: ubuntu-latest
	strategy:
	fail-fast: false
	matrix:
	python-version: [ "3.13" ]

	steps:
	- uses: actions/checkout@v7
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v6
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install type-checking dependencies
	run: \|
	python -m pip install --upgrade pip
	# mypy plus the only typed runtime dependency the curated modules touch.
	# Heavy deps (jax, brainstate, ...) are intentionally not installed:
	# `ignore_missing_imports`/`follow_imports = silent` handle them.
	pip install mypy numpy
	- name: Run mypy (curated strict subset)
	run: \|
	mypy

Provide feedback