CI

separate devserver things into devlib #588

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Version	11s
Build Scramjet	35s
Build Frontend	49s
Run Scramjet Tests	2m 15s
Run Rewriter Tests	1m 3s
	4m 53s