yyforyongyu af2f935ab7 .github: add timeout when sending coverage reports ... We also make it cancelable.		2025-07-18 15:41:46 +08:00
..
actions	.github: remove github.job from the cache key and update docs	2025-07-18 15:41:46 +08:00
ISSUE_TEMPLATE	GitHub: add link to discussions [skip ci]	2022-10-03 18:41:36 +02:00
workflows	.github: add timeout when sending coverage reports	2025-07-18 15:41:46 +08:00
CODEOWNERS-HINT	github/CODEOWNERS: rename code owners file to soft deactivate	2024-03-07 17:15:22 -08:00
pull_request_template.md	docs: add development_guidelines.md	2025-04-14 17:08:56 +08:00