ci: remove pangea-3 build#3923

Bubusch wants to merge 2 commits intodevelopGEOS-DEV/GEOS:developfrom

feature/bubusch/rmp3GEOS-DEV/GEOS:feature/bubusch/rmp3Copy head branch name to clipboard