[ci] Migrate CI from GitLab to GitHub #532

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run tests	1m 45s
Check Documentation	19s
Check Code	18s
Run rustfmt	12s
	2m 34s