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