build

minor bugfix and cleanup #756

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	6s
build (ubuntu-latest, YES)	1m 35s
build (ubuntu-latest, NO)	1m 6s
build (windows-latest, YES)	1m 58s
build (windows-latest, NO)	2m 7s
	6m 52s