4 Commits

Author	SHA1	Message	Date
David Peter	bf5b0c2688	[red-knot] Minor refactor of red_knot_vendored/build.rs (#15372) ... ## Summary See https://github.com/astral-sh/ruff/pull/15370#discussion_r1908611461: - Rename `zip_dir` to `write_zipped_typeshed_to` to clarify it's not a generic function (anymore) - Hard-code `TYPESHED_SOURCE_DIR` instead of using a `directory_path` argument	2025-01-09 12:23:42 +00:00
David Peter	097aa04c04	[red-knot] Typeshed patching: use build.rs instead of workflow (#15370) ... ## Summary The symlink-approach in the typeshed-sync workflow caused some problems on Windows, even though it seemed to work fine in CI: https://github.com/astral-sh/ruff/pull/15138#issuecomment-2578642129 Here, we rely on `build.rs` to patch typeshed instead, which allows us to get rid of the modifications in the workflow (thank you @MichaReiser for the idea). ## Test Plan - Made sure that changes to `knot_extensions.pyi` result in a recompile of `red_knot_vendored`.	2025-01-09 11:50:32 +01:00
Alex Waygood	02bca9a8d0	Modernize build scripts (#13837) ... Use the modern `cargo::KEY=VALUE` syntax that was stabilised in MSRV 1.77, rather than the deprecated `cargo:KEY=VALUE` syntax.	2024-10-20 22:35:35 +01:00
Alex Waygood	82324678cf	Rename the `ruff_vendored` crate to `red_knot_vendored` (#13586)	2024-10-01 16:16:59 +01:00