Back to pull request #1189

ci: Restrict permissions of `GITHUB_TOKEN` #786

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	4m 54s
kani	35s
clippy	5m 7s
Check README	6s
minimal-versions	27s
machete	8s
msrv	20s
no-std	23s
rustfmt	11s
test (stable, ubuntu-latest)	6m 44s
toml_validation	8s
unused_dependencies	8m 56s
test (stable, macos-latest)	5m 5s
test (stable, windows-latest)	8m 38s
all systems go	1s
	41m 43s