Commit graph

2 commits

Author SHA1 Message Date
957e63cca9 chore: remove info comment in rokit.toml 2024-11-21 19:18:43 +00:00
e4eb01664f chore: include dev utility scripts and ci workflow
* Includes dev utility scripts for fmt and typecheck.
* Includes a CI workflow which checks formatting, runs tests, and does
  typechecking.
2024-11-21 18:52:57 +00:00