Mads Marquart 05130cb329 Improve CI caching, and give each job names ...

This improves CI performance by around 20% (down from 10 to 8 minutes).

2023-10-21 11:40:41 +04:00

..

workflows

Improve CI caching, and give each job names

2023-10-21 11:40:41 +04:00

CODEOWNERS

Add @daxpedda as web maintainer

2023-05-28 23:48:28 +03:00

PULL_REQUEST_TEMPLATE.md

Remove entries from PULL_REQUEST_TEMPLATE.md that are now covered by CI. (#2126)

2022-01-05 16:23:56 +01:00