CI

chore: Release version 0.13.4 #810

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check README	2s
docs	4m 43s
clippy	4m 59s
kani	48s
machete	14s
minimal-versions	30s
msrv	18s
no-std	46s
rustfmt	12s
test (stable, ubuntu-latest)	6m 57s
toml_validation	11s
test (stable, macos-latest)	6m 3s
unused_dependencies	8m 56s
test (stable, windows-latest)	8m 50s
all systems go	1s
	43m 30s