CI

chore: Release version 0.13.3 (#1164) #58

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kani	36s
clippy	2m 16s
Check README	5s
docs	2m 3s
machete	3s
minimal-versions	24s
msrv	31s
no-std	45s
rustfmt	7s
test (stable, ubuntu-latest)	4m 14s
toml_validation	4s
unused_dependencies	3m 47s
test (stable, macos-latest)	3m 31s
test (stable, windows-latest)	7m 7s
all systems go	1s
	25m 34s