ruff/.github/workflows
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
..
build-binaries.yml Add actionlint as a pre-commit hook (with shellcheck integration) (#15021) 2024-12-16 17:32:49 +00:00
build-docker.yml fix invalid syntax in workflow file (#15357) 2025-01-08 15:34:33 +00:00
ci.yaml Make unreachable a test rule for now (#15252) 2025-01-04 12:52:08 +01:00
daily_fuzz.yaml [red-knot] Property test workflow: Fix issue label, link to CI run (#15361) 2025-01-08 22:47:16 +01:00
daily_property_tests.yaml [red-knot] Property test workflow: Fix issue label, link to CI run (#15361) 2025-01-08 22:47:16 +01:00
notify-dependents.yml Migrate release workflow to cargo-dist (#9559) 2024-06-27 13:44:11 +02:00
pr-comment.yaml Bump zizmor pre-commit hook to the latest version and fix new warnings (#15022) 2024-12-16 17:45:46 +00:00
publish-docs.yml Upgrade zizmor to the latest version in CI (#15300) 2025-01-06 15:07:46 +00:00
publish-playground.yml Run zizmor in CI, and fix most warnings (#14844) 2024-12-09 00:42:06 +00:00
publish-pypi.yml Update astral-sh/setup-uv action to v5 (#15193) 2024-12-29 21:29:37 -05:00
publish-wasm.yml Run zizmor in CI, and fix most warnings (#14844) 2024-12-09 00:42:06 +00:00
release.yml Revert certain double quotes from workflow shell script (#14939) 2024-12-12 20:29:48 +05:30
sync_typeshed.yaml [red-knot] Typeshed patching: use build.rs instead of workflow (#15370) 2025-01-09 11:50:32 +01:00