As previously stated the cocoa frontend has been disabled in the CI
and any build errors in this frontend are no longer considered to
"break the build"
Unless a maintainer for cocoa comes forward and fixes it so it
compiles and runs before the next developer weekend in June this
frontend will be removed from the source at that time.