godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-12-31 18:41:20 +00:00
Code Releases Wiki Activity

Merge pull request #107845 from dsnopek/gdextension-interface-json

Browse Source 
GDExtension: Store source of `gdextension_interface.h` in JSON
This commit is contained in:
Thaddeus Crews
2025-11-24 10:21:36 -06:00
parent 9c753915d1 2c681794cd
commit 02335fa126
16 changed files with 10371 additions and 3259 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/static_checks.yml vendored
View File

@@ -41,7 +41,3 @@ jobs:
sudo apt-get update
sudo apt-get install libxml2-utils
xmllint --quiet --noout --schema doc/class.xsd doc/classes/*.xml modules/*/doc_classes/*.xml platform/*/doc_classes/*.xml
- name: Run C compiler on `gdextension_interface.h`
run: |
gcc -c core/extension/gdextension_interface.h