Commit Graph
2 Commits
Author SHA1 Message Date
Bjorn Lu e33c0e699d Update vscode settings (#623)
* Update vscode settings

* Update launch.json
2026-05-15 19:04:24 +00:00
Mateusz Burzyński c1f57e52f9 Run typecheck on CI (#478) 2025-05-11 11:01:53 +02:00