Deploy Develop to Netlify

Merge pull request #6435 from EnterpriseDB/pgd/bug-fix #4803

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-pdfs / build	1m 27s
build-pages / build	3m 33s
deploy-to-netlify / deploy	43s
report-failure	0s
	5m 43s