CI

Merge remote-tracking branch 'upstream/Bleeding-Edge' into Bleeding-Edge #74

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run linters	59s
Compile all maps	1m 33s
Compile and run tests	1m 23s
	3m 55s