Pull request pipeline

Workflow dependency updates #160

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Link checker	35s
Check ES spelling	31s
Check EN spelling	27s
Lint markdown	5s
Check PT-BR spelling	32s
Build check	32s
Export PDFs	2m 21s
	5m 3s