CI

Merge pull request #13 from bomberfish/isolation #530

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Scramjet	13s
Check Version	12s
Run Rewriter Tests	1s
Build Frontend	1s
Run Scramjet Tests	1s
	28s