Skip to content

Merge pull request #6090 from EnterpriseDB/docs/edits_to_postresql_pr… #4534

Merge pull request #6090 from EnterpriseDB/docs/edits_to_postresql_pr…

Merge pull request #6090 from EnterpriseDB/docs/edits_to_postresql_pr… #4534

Triggered via push September 30, 2024 07:29
Status Cancelled
Total duration 42s
Artifacts
build-deploy
0s
build-deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-deploy
Canceling since a higher priority waiting request for 'refs/heads/develop' exists