Skip to content

Merge branch 'main' into dev_rolf #311

Merge branch 'main' into dev_rolf

Merge branch 'main' into dev_rolf #311

Workflow file for this run

name: pylint
on: push
jobs:
pylint:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v3
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install pylint
- name: Run pylint on CHAP
run: pylint --rcfile=.pylintrc CHAP