Build and check links in PRs

docs: polish the deployment config for Github and GitLab #1276

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	8m 36s
	8m 36s