First cut at Interrupt handler... #1053
Workflow file for this run
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: Mathics3 (Type checking) | |
| on: | |
| push: | |
| branches: [ master ] | |
| pull_request: | |
| branches: [ master ] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| python-version: ['3.13'] | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Set up Python ${{ matrix.python-version }} | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: ${{ matrix.python-version }} | |
| - name: Install dependencies | |
| run: | | |
| sudo apt update -qq && sudo apt install llvm-dev remake | |
| python -m pip install --upgrade pip | |
| - name: Run mypy | |
| run: | | |
| pip install mypy==1.13 sympy==1.12 | |
| # Adjust below for right branch | |
| git clone --depth 1 https://github.com/Mathics3/mathics-scanner | |
| cd mathics-scanner/ | |
| pip install -e . | |
| bash ./admin-tools/make-JSON-tables.sh | |
| pip install -e . | |
| cd .. | |
| touch ./mathics-scanner/mathics_scanner/py.typed | |
| make develop | |
| mypy --install-types --ignore-missing-imports --non-interactive mathics |