diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/mingw.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/mingw.yml b/.github/workflows/mingw.yml index 3ae7723c51..e1b430a66b 100644 --- a/.github/workflows/mingw.yml +++ b/.github/workflows/mingw.yml @@ -127,7 +127,7 @@ jobs: make DESTDIR=../install install-nodoc - name: test - timeout-minutes: 5 + timeout-minutes: 10 run: | make test if: ${{matrix.test_task == 'check' || matrix.test_task == 'test'}} |