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	Create ISSUE_TEMPLATE.md	2018-04-20 16:15:15 -04:00
PULL_REQUEST_TEMPLATE	add a PR template pointing to guidelines	2016-12-03 18:34:34 +01:00