| .. |
|
close_unresponsive.js
|
b83d5fabc6
ci(labeler): adjust configuration
|
8 months ago |
|
env.ps1
|
943ac2be55
ci: reuse script to enable Developer Command Prompt
|
1 year ago |
|
install_deps.sh
|
7d8dd8234a
ci: downgrade to clang 19
|
2 months ago |
|
labeler_configuration.yml
|
783f6079b8
ci: update labeler configuration and add reviewers
|
7 months ago |
|
remove_response_label.js
|
c50cdd6270
ci: replace stale bot with custom implementation
|
1 year ago |
|
reviewers_add.js
|
c24e6e66dd
ci: remove myself from lsp reviewers
|
1 month ago |
|
reviewers_remove.js
|
dd81e1e334
ci: refactor CI files
|
1 year ago |
Mathias Fussenegger
c24e6e66dd
ci: remove myself from lsp reviewers