build

this should make tools desync less often #1711

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	2m 18s
regenerate-website	1m 47s
post-to-forum	19s
webhook-dispatch	8s
	4m 32s