Skip to content

Merge pull request #2427 from joto/remove-split #2132

Merge pull request #2427 from joto/remove-split

Merge pull request #2427 from joto/remove-split #2132

ubuntu22-pg11-gcc10

succeeded Feb 4, 2026 in 10m 3s