CI: set a timeout of 10 minutes #298
Triggered via pull request
September 11, 2023 09:33
fingolfin
Status
Success
Total duration
5m 32s
Artifacts
–