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
..
workflows	add a timeout for the github CI jobs, fixes #5548	2020-12-05 18:35:00 +01:00
FUNDING.yml	Update FUNDING.yml	2020-06-29 01:28:23 +02:00
ISSUE_TEMPLATE.md	…
PULL_REQUEST_TEMPLATE	…