Skip to content

Replace websockets with zmq #32142

Replace websockets with zmq

Replace websockets with zmq #32142

Workflow file for this run

name: Type checking
on:
push:
branches:
- main
- 'version-**'
pull_request:
env:
UV_SYSTEM_PYTHON: 1
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
jobs:
type-checking:
runs-on: ubuntu-latest
timeout-minutes: 15
strategy:
matrix:
python-version: ['3.12']
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v5
with:
python-version: ${{ matrix.python-version }}
- name: Install uv
uses: astral-sh/setup-uv@v3
- name: Install ERT and dependencies
run: |
uv pip install ".[dev, types, everest]"
- run: echo ::add-matcher::.github/mypy-matcher.json
- name: Run mypy ert
run: |
mypy src/ert
- name: Run mypy everest
run: |
mypy src/everest