Commit graph

2 commits

Author SHA1 Message Date
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
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