ci: add another it partition (#3871)

This commit is contained in:
Matthias Seitz
2023-07-24 11:30:11 +02:00
committed by GitHub
parent 0b012ab664
commit 95cbff31f9

View File

@ -21,7 +21,7 @@ jobs:
runs-on: ubuntu-20.04
strategy:
matrix:
partition: [1, 2]
partition: [1, 2, 3]
steps:
- name: Checkout sources
uses: actions/checkout@v3