borg/.github/workflows
Thomas Waldmann b2b2a2622d add a timeout for the github CI jobs, fixes #5548
sometimes they hung for 6h... (not our fault, seems like a infrastructure problem).
2020-12-05 18:35:00 +01:00
..
ci.yml add a timeout for the github CI jobs, fixes #5548 2020-12-05 18:35:00 +01:00