Github: Use 10+10 runners for coverage.

2026-09-06 08:57:23 +02:00 · 2021-03-07 16:41:46 -05:00
parent c61d3ee557
commit ac171f16fd
2 changed files with 50 additions and 8 deletions
@@ -66,6 +66,12 @@ jobs:
        - 1
        - 2
        - 3
+        - 4
+        - 5
+        - 6
+        - 7
+        - 8
+        - 9
        include:
        - { test: dist, num: '' }
    name: test-${{ matrix.test }}${{ matrix.num }}