Skip to content

ci: add a placeholder docs deploy workflow - #226

Merged
davecramer merged 1 commit into
mainfrom
ci-register-docs-deploy-workflow
Oct 27, 2026
Merged

davecramer merged 1 commit into
mainfrom
ci-register-docs-deploy-workflow

Conversation

@davecramer

@davecramer davecramer commented Oct 27, 2026 •

Copy link
Copy Markdown
Contributor

A workflow_dispatch workflow can only be started once its file is on the default branch. This registers docs-deploy.yml so that the real deploy can be started on another branch before it is merged. The placeholder job runs false, so a run of it fails.

The real deploy, in #227, publishes the website to S3 and CloudFront as the pgjdbc site deploy does, and replaces this file.

A workflow_dispatch workflow can only be started once its file is on
the default branch. This registers docs-deploy.yml so that the real
deploy, which will publish the website to S3 and CloudFront, can be
started on another branch before it is merged. The placeholder job
runs false, so a run of it fails.

Assisted-By: Claude
@davecramer
davecramer force-pushed the ci-register-docs-deploy-workflow branch from c6455f9 to 013115f Compare October 27, 2026 18:19
@davecramer
davecramer merged commit 0395bf4 into main Oct 27, 2026
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant