Build SET

Bump pdfjs-dist from 4.8.69 to 4.9.155 in /web/pdf (#1130) #2975

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
developerhelp	12s
pdfviewer	17s
news	42s
docs	14s
siteplan	2m 3s
textviewer	16s
java	23m 33s
swtbot	5m 17s
table-diff-view	32s
	33m 6s