Skip to content

[red-knot] Typeshed patching: use build.rs instead of workflow#15370

Merged
sharkdp merged 2 commits intomainfrom david/typeshed_sync-copy-instead-of-symlinkJan 9, 2025
+15-9

Commits

Commits on Jan 9, 2025