1
0
mirror of https://github.com/godotengine/godot.git synced 2026-01-03 19:11:41 +00:00
Files
godot/.github
Rémi Verschelde d6404fd7a0 CI: Build Linux editor without Mono, sanitizers with Mono
The Mono builds are with mono_glue=no so they're not usable,
and it would be convenient if the main tools=yes target=release_debug
artifacts could actually be used.
2021-02-05 12:07:40 +01:00
..