Python/ruff - ruff - Gitea: Git with a cup of tea

Commit Graph

Author	SHA1	Message	Date
Micha Reiser	f5cdf23545	[red-knot] Add settings support to playground (#16929 ) ## Summary This PR extends the Red Knot playground by adding configuration support by adding a `knot.json` file. <img width="1679" alt="Screenshot 2025-03-23 at 21 12 16" src="https://github.com/user-attachments/assets/81ff1588-a07a-4847-97d8-61250aa2feda" />	2025-03-24 01:38:48 +00:00
Micha Reiser	ded9c69888	[playground] Extract shared components (#16819 ) ## Summary Extract components that can be shared with the Red Knot playground. ## Test Plan `npm start`	2025-03-18 08:43:47 +01:00

Author

SHA1

Message

Date

Micha Reiser

f5cdf23545

[red-knot] Add settings support to playground (#16929 )

## Summary

This PR extends the Red Knot playground by adding configuration support
by adding a `knot.json` file.

<img width="1679" alt="Screenshot 2025-03-23 at 21 12 16"
src="https://github.com/user-attachments/assets/81ff1588-a07a-4847-97d8-61250aa2feda"
/>

2025-03-24 01:38:48 +00:00

Micha Reiser

ded9c69888

[playground] Extract shared components (#16819 )

## Summary
Extract components that can be shared with the Red Knot playground.

## Test Plan

`npm start`

2025-03-18 08:43:47 +01:00

2 Commits