Commit graph

6 commits

Author SHA1 Message Date
0cb3c79df4 chore(actions): fix test job using wrong script 2024-11-21 19:09:38 +00:00
c5893956d8 chore(actions): setup lune typdefs for typecheck 2024-11-21 19:09:38 +00:00
4f7a4fb9ed 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
166077d080 chore(actions): include pesde install step in fmt 2024-11-21 18:58:50 +00:00
0127e68e96 chore(actions): run typechecks first, then tests 2024-11-21 18:55:13 +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