Skip to content

-Disabled riscv-native, editorconfig, python-type-check, server check… #4

-Disabled riscv-native, editorconfig, python-type-check, server check…

-Disabled riscv-native, editorconfig, python-type-check, server check… #4

# DISABLED: Python Type-Check
# This workflow has been disabled to reduce CI coverage-like runs
# Original workflow provided Python type checking but added overhead
# To re-enable: uncomment the entire workflow below
# name: Python Type-Check
#
# on:
# push:
# paths:
# - '.github/workflows/python-type-check.yml'
# - 'pyrightconfig.json'
# - '**.py'
# - '**/requirements*.txt'
# pull_request:
# paths:
# - '.github/workflows/python-type-check.yml'
# - 'pyrightconfig.json'
# - '**.py'
# - '**/requirements*.txt'
#
# concurrency:
# group: ${{ github.workflow }}-${{ github.head_ref && github.ref || github.run_id }}
# cancel-in-progress: true
#
# jobs:
# python-type-check:
# runs-on: ubuntu-latest
# name: pyright type-check
# steps:
# - name: Check out source repository
# uses: actions/checkout@v4
# - name: Set up Python environment
# uses: actions/setup-python@v5
# with:
# python-version: "3.11"
# - name: Install Python dependencies
# # TODO: use a venv
# run: pip install -r requirements/requirements-all.txt
# - name: Type-check with Pyright
# uses: jakebailey/pyright-action@v2
# with:
# version: 1.1.382
# level: warning
# warnings: true