Skip to content

Merge pull request #5640 from EnterpriseDB/DOCS-667-recent-postgresql… #4141

Merge pull request #5640 from EnterpriseDB/DOCS-667-recent-postgresql…

Merge pull request #5640 from EnterpriseDB/DOCS-667-recent-postgresql… #4141

Triggered via push May 17, 2024 10:42
Status Cancelled
Total duration 4m 3s
Billable time 4m
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-deploy
Canceling since a higher priority waiting request for 'refs/heads/develop' exists
build-deploy
The operation was canceled.