Skip to content

These two got flipped. #22

These two got flipped.

These two got flipped. #22

Workflow file for this run

name: Python
on:
workflow_dispatch:
push:
branches: ["main"]
pull_request:
# The branches below must be a subset of the branches above
branches: ["main"]
jobs:
ruff:
name: Ruff
runs-on: ubuntu-24.04
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Setup Python
uses: ./.github/actions/setup-python
- name: Install Ruff
run: pip install ruff
- name: Ruff check
run: ruff check . --ignore E402
- name: Ruff format
run: ruff format . --check --diff
pyright:
name: Pyright
runs-on: ubuntu-24.04
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Setup C++
uses: ./.github/actions/setup-cpp
- name: Setup Python
uses: ./.github/actions/setup-python
- name: Install the latest version of uv
uses: astral-sh/setup-uv@v7
- name: Install Python dependencies
working-directory: python
run: uv sync --group dev
- name: Build Ice for Python
run: |
make -C cpp srcs
make -C python
- name: Pyright check
working-directory: python
run: |
uv run pyright .