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