You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2026-01-05 19:31:35 +00:00
This reverts commit 04e955841f.
It looks like we can just remove `-pipe` for the CI to complete.