Skip to content

Allow SPU cache custom calls in dynamic export (#418) #1549

Allow SPU cache custom calls in dynamic export (#418)

Allow SPU cache custom calls in dynamic export (#418) #1549

Workflow file for this run

permissions:
contents: read
name: static type check with Mypy
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
check:
runs-on: ubuntu-latest
steps:
- name: Harden the runner (Audit all outbound calls)
uses: step-security/harden-runner@fa2e9d605c4eeb9fcad4c99c224cee0c6c7f3594 # v2.16.0
with:
egress-policy: audit
- uses: actions/checkout@ff7abcd0c3c05ccf6adc123a8cd1fd4fb30fb493 # v5.0.0
- name: Install uv
uses: astral-sh/setup-uv@08807647e7069bb48b6ef5acd8ec9567f424441b # v8.1.0
with:
version: "latest"
- name: Set up Python
uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
with:
python-version: "3.11"
- name: Install dependencies
run: |
uv sync --group dev
- name: Type check with mypy
run: |
uv run mypy mplang/