From 94db975cf0a59b5f1f5b83e85e602321af38882d Mon Sep 17 00:00:00 2001 From: Joris van Rantwijk Date: Fri, 14 Apr 2023 10:29:22 +0200 Subject: [PATCH] Add Github Actions workflow --- .github/workflows/main.yml | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 .github/workflows/main.yml diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml new file mode 100644 index 0000000..1fe2f49 --- /dev/null +++ b/.github/workflows/main.yml @@ -0,0 +1,31 @@ +# Github Actions workflow file +name: main + +# Controls when the workflow will run +on: + + # Run when commits are pushed. + push: + + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + + # Run checks on Python code. + check-python: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - name: Set up Python 3.11 + uses: actions/setup-python@v4 + with: + python-version: '3.11' + - name: Install dependencies + run: pip install --upgrade mypy pylint + - name: Run mypy + run: mypy --disallow-incomplete-defs python tests + - name: Run pylint + run: pylint --ignore=test_mwmatching.py python tests +