Skip to content

fix(watcher): reindex dirty repos once per distinct state, not per poll #1354

fix(watcher): reindex dirty repos once per distinct state, not per poll

fix(watcher): reindex dirty repos once per distinct state, not per poll #1354

Triggered via pull request July 12, 2026 11:43
Status Success
Total duration 36m 47s
Artifacts

codeql.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
analyze
Cannot build an overlay database because build-mode is set to "manual" instead of "none". Falling back to creating a normal full database instead.