Jakub Beránek 3f4b9dd463 Lower timeout of CI jobs to 4 hours ... The previous value, 10 hours, is unnecessarily long, since most of our jobs finish within 2.5 hours currently.		2024-07-12 11:27:46 +02:00
..
ISSUE_TEMPLATE	Strengthen tracking issue policy with consequences	2024-04-24 13:55:38 +00:00
workflows	Lower timeout of CI jobs to 4 hours	2024-07-12 11:27:46 +02:00
pull_request_template.md	make bors ignore comments in PR template	2024-06-14 21:52:25 +00:00