Mads Marquart d9f04780cc Improve CI caching, and give each job names ... This improves CI performance by around 20% (down from 10 to 8 minutes).		2023-08-27 18:25:32 +04:00
..
workflows	Improve CI caching, and give each job names	2023-08-27 18:25:32 +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