Commit graph

5 commits

Author SHA1 Message Date
66ef2ea137
chore(actions): setup lune typdefs for typecheck 2024-11-21 19:09:38 +00:00
0023e10209
chore(actions): move setup-pesde action into dir
* Properly treat setup-pesde as an individual action instead of a
  workflow. This includes moving it into .github/actions/setup-pesde.
* Update workflow usage of setup-pesde accordingly.
2024-11-21 19:02:30 +00:00
a3bcdf6e44
chore(actions): include pesde install step in fmt 2024-11-21 18:58:50 +00:00
c5347e41c0
chore(actions): run typechecks first, then tests 2024-11-21 18:55:13 +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