Merge remote-tracking branch 'origin/develop' into feature/file64

srz-zumix · Sep 1, 2022 · 527940b · 527940b
2 parents 4c58812 + 0e15f15
commit 527940b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -51,7 +51,7 @@ jobs:
     - name: coverage
       run: |
         make -C test coverage
-    - uses: codecov/codecov-action@v1
+    - uses: codecov/codecov-action@v3
       with:
         fail_ci_if_error: true
         verbose: true

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -265,6 +265,7 @@ jobs:
           - "7-2017q4"
           - "8-2018q4"
           - "9-2019q4"
+          - "10-2020q4"
           - "latest"
     runs-on: ubuntu-latest
     needs: prepare