CI

Merge PR #790: Table header background is never restored after hover … #823

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8)	1m 31s
build (11)	2m 49s
build (17)	1m 27s
build (17, 21)	1m 44s
snapshot	2m 6s
release	0s
	9m 37s