Update arlington branch

Merge pull request #380 from veraPDF/gui_improvements #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checkout-and-build (11)	4m 14s
checkout-and-build (16)	4m 15s
checkout-and-build (17)	6m 7s
merge	13s
send-notification	0s
	14m 49s