Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Scripting: Fix script docs not being searchable without manually recompiling scripts #95821

Merged
merged 1 commit into from
Mar 13, 2025
+358 −148

Scripting: Add script documentation cache to project

72045c8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Scripting: Fix script docs not being searchable without manually recompiling scripts #95821

Scripting: Add script documentation cache to project
72045c8
Select commit
Loading
Failed to load commit list.
📊 Static checks / Code style, file formatting, and docs
succeeded Mar 12, 2025 in 42s
Set up job
1s
Checkout
11s
Install APT dependencies
15s
Install Python dependencies and general setup
4s
Get changed files
0s
.gitignore checks (gitignore_check.sh)
0s
Style checks via pre-commit
6s
Python builders checks via pytest
1s
Class reference schema checks
0s
Run C compiler on `gdextension_interface.h`
0s
Post Style checks via pre-commit
0s
Post Checkout
0s
Complete job
0s