godot/main
Rémi Verschelde de5aaf1d13
CI: Fix dumping GDExtension interface and API for godot-cpp
Follow-up to https://github.com/godotengine/godot-cpp/pull/960.

Fix exit code for --dump-extension-api and --dump-gdextension-interface.

Removed the planned API validation step as we still didn't implement
anything, and maintaining a stub isn't useful.
2022-12-14 16:42:14 +01:00
..
app_icon.png Optimize images losslessly using oxipng -o6 --strip all --zopfli 2018-06-28 19:17:41 +02:00
main.cpp CI: Fix dumping GDExtension interface and API for godot-cpp 2022-12-14 16:42:14 +01:00
main.h Style: Misc docs and comment style and language fixes 2022-11-02 19:01:18 +01:00
main_builders.py Tweak the editor splash screen color to better match the default theme 2021-03-17 22:57:35 +01:00
main_timer_sync.cpp Update copyright statements to 2022 2022-01-03 21:27:34 +01:00
main_timer_sync.h Update copyright statements to 2022 2022-01-03 21:27:34 +01:00
performance.cpp Replace Array return types with TypedArray 2 2022-08-23 23:21:32 +02:00
performance.h Replace Array return types with TypedArray 2 2022-08-23 23:21:32 +02:00
SCsub Remove editor splash screen with sponsors logo 2021-11-30 12:47:25 +01:00
splash.png Optimize images losslessly using oxipng -o6 --strip all --zopfli 2019-10-12 23:23:33 +02:00