Commit graph

2 commits

Author SHA1 Message Date
2f0fa8e5c4
chore: remove info comment in rokit.toml 2024-11-21 19:18:43 +00:00
f620acee55
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