Deploy Develop to Netlify

Merge pull request #6410 from EnterpriseDB/docs-fix-link-to-new-overview #4775

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-pdfs / build	8m 8s
build-pages / build	3m 28s
deploy-to-netlify / deploy	49s
report-failure	0s
	12m 25s