Cyclic0007/ruff
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[playground] Use cursor for clickable elements (#16833)

Browse Source
This commit is contained in:
Micha Reiser
2025-03-18 18:06:00 +01:00
committed by GitHub
parent cc3ddaf070
commit a9f5dddbaa
5 changed files with 11 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/publish-knot-playground.yml vendored
View File

@@ -1,5 +1,5 @@
# Publish the Red Knot playground.
name: "[Playground] Release"
name: "[Knot Playground] Release"
permissions: {}