Rust - Continuous Integration

Chores and minor non-technical improvements (#1087) #3758

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	2m 3s
Build	2m 31s
Audit	7s
Coverage	3m 44s
Documentation	40s
Formatting	11s
Fuzz (Differential)	9m 45s
Fuzz (Execution)	9m 43s
Fuzz (Translation)	9m 28s
Miri	5m 37s
Miri (spec)	6m 14s
Test (ubuntu-latest)	9m 1s
Test (Address Sanitizer)	2m 33s
Test (windows-latest)	14m 38s
Test (macos-latest)	2m 21s
uDeps	1m 15s
	1h 19m 51s