Skip to content

Merge pull request #6237 from EnterpriseDB/pge-minor-nov-release #4614

Merge pull request #6237 from EnterpriseDB/pge-minor-nov-release

Merge pull request #6237 from EnterpriseDB/pge-minor-nov-release #4614

Triggered via push November 14, 2024 15:27
Status Cancelled
Total duration 13s
Billable time 1m
Artifacts
build-deploy
5s
build-deploy
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
A task was canceled.