CI

ci(clippy): Update to cargo clippy version 1.80 #622

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
docs	2m 8s
machete	10s
rustfmt	19s
toml_validation	5s
Check README	3s
clippy	2m 16s
kani	56s
minimal-versions	23s
msrv	23s
no-std	37s
test (stable, ubuntu-latest)	4m 9s
unused_dependencies	4m 22s
test (stable, macos-latest)	2m 35s
test (stable, windows-latest)	4m 23s
all systems go	1s
	22m 50s