Skip to content

Merge pull request #4744 from EnterpriseDB/docs/edits_to_biganimal_pr… #3399

Merge pull request #4744 from EnterpriseDB/docs/edits_to_biganimal_pr…

Merge pull request #4744 from EnterpriseDB/docs/edits_to_biganimal_pr… #3399

Triggered via push August 31, 2023 19:24
Status Cancelled
Total duration 7m 9s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
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.