gudnimg ca1d09ad15 CI: fix an issue with write permissions ... Also split the tests into a separate workflow file Note that the changes won't take effect until this is merged into main branch.		2024-12-23 17:41:49 +00:00
..
build.yml	CI: fix an issue with write permissions	2024-12-23 17:41:49 +00:00
pr-size.sh	Update pr-size to show more information	2023-10-02 20:32:10 +02:00
pr-size.yml	Update add-pr-comment to version v2.8.2	2024-03-08 13:13:22 +01:00
stale.yml	Update stale action to v9 as Node.js 16 are deprecated.	2024-03-08 13:04:17 +01:00
tests.yml	CI: fix an issue with write permissions	2024-12-23 17:41:49 +00:00