Pull request pipeline

Bump the version-update group in /.github/workflows with 5 updates #206

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check PT-BR spelling	38s
Lint markdown	6s
Link checker	48s
Check EN spelling	27s
Check ES spelling	33s
Build check	28s
Export PDFs	1m 53s
	4m 53s