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