Back to pull request #10307

chore(cli): Move `profile` config to workspace #1173

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy-stable	1m 25s
clippy-nightly	1m 21s
miri	2m 53s
rustfmt	17s
	5m 56s