Skip to content

Merge pull request #5962 from EnterpriseDB/release/2024-08-20a #4418

Merge pull request #5962 from EnterpriseDB/release/2024-08-20a

Merge pull request #5962 from EnterpriseDB/release/2024-08-20a #4418

Triggered via push August 20, 2024 13:41
Status Success
Total duration 19m 39s
Billable time 20m
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

10 warnings