CI

ci: rename job to exploit the default mergify configuration #1297

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
success (windows)	2m 26s
success (macos)	2m 12s
success (ubuntu)	2m 14s
	6m 52s