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