Rust CI #707

Job	Run time
Build & test (stable, ubuntu-latest)	2m 3s
Build & test (stable, macos-latest)	1m 18s
Build & test (stable, windows-latest)	4m 57s
Build & test (nightly, ubuntu-latest)	1m 34s
Build & test (nightly, macos-latest)	1m 32s
Build & test (nightly, windows-latest)	3m 31s
Clippy lint checks	22s
Build with each feature combination	1m 8s
Test with external dependencies	1m 22s
Test coverage checks	1m 56s
Machete dependencies checks	6s
Minimal dependency versions build	24s
Miri test	5m 4s
Code formatting checks	14s
	25m 31s

Provide feedback