CI

chore: Add check-pr.yml github workflow #1332

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	21s
Rustfmt	15s
Test Suite	3m 27s
Clippy	24s
generate_coverage / grcov	2m 27s
	6m 54s