PR #12382 [red-knot] Improved file watching

[red-knot] Improved file watching #12382

MichaReiser merged 5 commits into main from watch

MichaReiser force pushed from c7b29326 to 67570153 1 year ago

MichaReiser force pushed from 67570153 to 56c226ac 1 year ago

MichaReiser force pushed from 56c226ac to 62b82850 1 year ago

MichaReiser force pushed from 62b82850 to 6dec2abc 1 year ago

MichaReiser added ty

MichaReiser force pushed from cbf4db65 to a6130a96 1 year ago

MichaReiser force pushed from a6130a96 to 8f63656e 1 year ago

MichaReiser marked this pull request as ready for review 1 year ago

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser commented on 2024-07-19

MichaReiser force pushed from 8f63656e to 47a67698 1 year ago

MichaReiser force pushed from 47a67698 to d55327fb 1 year ago

carljm approved these changes on 2024-07-20

Introduce `Upcast::upcast_mut` and use `&mut dyn Db` in `Package::upd…

9ea1a166

Split `Files` into using one dash map for vendored and system paths each

f0e89354

Support all file watching events

115c95a7

Add tests

4305d66d

Fix tests on MacOs

4bbdbcc6

MichaReiser force pushed from d55327fb to 4bbdbcc6 1 year ago

MichaReiser merged 40d9324f into main 1 year ago

MichaReiser deleted the watch branch 1 year ago

Reviewers

carljm

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone