diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-14 16:13:38 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-14 16:42:14 +0100 |
| commit | de5aaf1d13772e2859104ac0a03c0a0351859417 (patch) | |
| tree | a3dd96c854a48fad23e00a0c88e78b24f494cdf0 /thirdparty/misc | |
| parent | eba33c67b49905973ee7c81a709046415a41e205 (diff) | |
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.
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions