19 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	408b4b0591	chore(actions): remove custom action and use 2jammers/setup-pesde	2024-12-02 11:20:49 +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	c845d3670a	chore(actions): use local pesde action and deps	2024-11-21 18:56:13 +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
Erica Marigold	2afc770e78	chore(actions): use pesde auth login command instead of manually editing config	2024-11-12 21:20:03 +05:30
Erica Marigold	7ac16bf063	chore(actions): actually do the publish command	2024-11-12 21:19:04 +05:30
Erica Marigold	0fa95337a2	chore(actions): use cat heredoc for auth config instead	2024-11-12 21:14:46 +05:30
Erica Marigold	c9f8ed8867	chore(actions): actually redirect the default_index output lol	2024-11-12 21:10:10 +05:30
Erica Marigold	34e2187508	chore(actions): set mandatory default registry for publishing	2024-11-12 21:08:14 +05:30
Erica Marigold	7537aabfbd	chore(actions): avoid bumping in CI	2024-11-12 21:02:59 +05:30
Erica Marigold	4035aae384	chore(actions): include pesde package publishing action	2024-11-12 20:49:55 +05:30