[ci] Migrate CI from GitLab to GitHub #533

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run rustfmt	15s
Check Code	23s
Check Documentation	21s
Run tests	2m 14s
	3m 13s