Minimal CI

Migrate from bors to GitHub merge queues #722

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	3m 6s
integration-test-godot	1m 56s
check-todo	6s
rustfmt	24s
unit-test	3m 15s
ci-status	1s
	8m 48s