GHA/checksrc: give more time for slow Azure servers [ci skip]
No binary (build failed)
—
(log yok)
| @@ -122,7 +122,7 @@ jobs: | |
| xmllint: | |
| name: 'xmllint' | |
| runs-on: ubuntu-latest | |
| - | timeout-minutes: 1 |
| + | timeout-minutes: 3 |
| steps: | |
| - name: 'install prereqs' | |
| run: | | |