lint.yml

name: PyVCG CI (Lint)

on:
  push:
    branches: ["main"]
  pull_request:
    branches: ["main"]

permissions:
  contents: read

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v5
      - name: Set up Python 3.14
        uses: actions/setup-python@v6
        with:
          python-version: "3.14"
      - name: Install dependencies
        run: |
          python -m pip install --upgrade pip
          pip install -r requirements.txt
      - name: Style check
        run: |
          python -m pycodestyle pyvcg tests
      - name: Lint
        run: |
          python -m pylint --rcfile=pylint3.cfg pyvcg --reports=no --score=no --extension-pkg-allow-list=cvc5