Repository navigation

Build and release

Add a label for one more review #7039

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check PR labels	4s
release-workflow	-1s
release	-1s
ghcup	-1s
	1s