Unify the `case` verb, and add options #2107

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest)	1m 29s
build (macos-latest)	4m 28s
build (windows-latest)	6m 51s
	12m 48s