Update GitHub workflow

This commit is contained in:
Jean-Michel Picod
2020-08-07 16:39:11 +02:00
parent 8f358b7d81
commit f68ab0be9d

View File

@@ -22,7 +22,7 @@ jobs:
- name: Install dependencies - name: Install dependencies
run: | run: |
python -m pip install --upgrade pip setuptools wheel python -m pip install --upgrade pip setuptools wheel
pip install 'tockloader==1.4' pylint pip install 'tockloader==1.5' pylint
- name: Register matcher - name: Register matcher
run: echo ::add-matcher::./.github/python_matcher.json run: echo ::add-matcher::./.github/python_matcher.json
- name: Test code with pylint - name: Test code with pylint