mirror of
https://github.com/godotengine/godot.git
synced 2025-12-08 06:09:55 +00:00
GDExtension: Store source of gdextension_interface.h in JSON
This commit is contained in:
parent
2cc031f3a3
commit
2c681794cd
16 changed files with 10371 additions and 3259 deletions
4
.github/workflows/static_checks.yml
vendored
4
.github/workflows/static_checks.yml
vendored
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue