Merge remote-tracking branch 'origin/master'

2022-04-16 22:01:45 +02:00
parent bbd66ba105 780043db74
commit 24c6b9ca2f
2 changed files with 3 additions and 5 deletions
@@ -31,7 +31,7 @@ jobs:
          chmod +x run_tests.sh
      - name: Run tests
        run: |
-          ./run_tests.sh
+          ./run_tests.sh a
          pipenv run coverage xml
      - name: Report results to DeepSource
        run: |