Remote Build

Made single-file compilation use the same machinery as workspace comp… #91

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build / windows-latest	3m 8s
Build / macos-latest	2m 5s
Build / ubuntu-latest	2m 39s
Test / windows-latest	7s
Test / macos-latest	7s
Test / ubuntu-latest	9s
Deploy	13s
	8m 28s