Gradle Build

Fix #541: Line numbers resize when getting a new document #359

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8)	1m 50s
build (11)	2m 0s
build (17)	2m 32s
build (21)	1m 48s
	8m 10s