diff options
Diffstat (limited to '.github/workflows')
| -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 3d1624342e..20425a32e3 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: 10 + timeout-minutes: 30 run: | make test if: ${{matrix.test_task == 'check' || matrix.test_task == 'test'}} |