gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-05 23:34:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
godot/.github
History
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
..
actions
ISSUE_TEMPLATE
workflows CI: Fix dumping GDExtension interface and API for godot-cpp 2022-12-14 16:42:14 +01:00
CODEOWNERS
PULL_REQUEST_TEMPLATE.md