Merge branch 'master' of https://github.com/google/OpenSK into mingxguo-fuzzing

2020-08-13 17:20:15 +00:00
parent 6ebb69f275 57bf623539
commit eca09cdeb6
3 changed files with 29 additions and 26 deletions
--- a/.github/workflows/python.yml
+++ b/.github/workflows/python.yml
@@ -22,7 +22,7 @@ jobs:
      - name: Install dependencies
        run: |
          python -m pip install --upgrade pip setuptools wheel
-          pip install 'tockloader==1.4' pylint
+          pip install 'tockloader==1.5' pylint
      - name: Register matcher
        run: echo ::add-matcher::./.github/python_matcher.json
      - name: Test code with pylint