10 commits

Author	SHA1	Message	Date
Erica Marigold	80d44923fa	revert: go back to rokit as a toolchain manager	2024-12-02 11:38:20 +00:00
Erica Marigold	2dfdb7177c	chore(actions): remove old tooling setup steps	2024-12-02 11:28:00 +00:00
Erica Marigold	18fd2411bb	chore(actions): remove usage of custom setup-pesde in CI workflow	2024-12-02 11:23:05 +00:00
Erica Marigold	8bf19e8882	chore(actions): remove rokit installation step	2024-12-02 11:17:21 +00:00
Erica Marigold	8f83140224	chore(actions): fix test job using wrong script	2024-11-21 19:09:38 +00:00
Erica Marigold	66ef2ea137	chore(actions): setup lune typdefs for typecheck	2024-11-21 19:09:38 +00:00
Erica Marigold	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
Erica Marigold	a3bcdf6e44	chore(actions): include pesde install step in fmt	2024-11-21 18:58:50 +00:00
Erica Marigold	c5347e41c0	chore(actions): run typechecks first, then tests	2024-11-21 18:55:13 +00:00
Erica Marigold	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