[ci] Migrate CI from GitLab to GitHub #529

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Code	26s
Check Documentation	19s
Run rustfmt	12s
Run tests	2m 23s
	3m 20s