Skip to content

Conversation

@vgezer
Copy link
Contributor

@vgezer vgezer commented Mar 26, 2025

Updates inspection dock with the latest version of Godot.

Separately committing my changes from the archived #9632 as I find time.

@AThousandShips AThousandShips added enhancement area:manual Issues and PRs related to the Manual/Tutorials section of the documentation topic:editor Related to editor features or workflows labels Mar 26, 2025
@vgezer
Copy link
Contributor Author

vgezer commented Apr 11, 2025

Any ideas on how to solve the ci problem?

@tetrapod00
Copy link
Contributor

No action needed on your part. The failing CI is URL checking unrelated to this PR. We already stopped running it on every PR and moved it to weekly because it was failing too often, like on this PR

Copy link
Contributor

@tetrapod00 tetrapod00 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We just got #10856 as an alternative to this PR. Both PRs are good, and both PRs include some information that the other does not.

I think we should merge this one first since it is older, and then rebase #10856 after this is merged.

(Okay to commit my suggestions and squash and merge if we're trying to get this into 4.4 quickly)

@vgezer
Copy link
Contributor Author

vgezer commented Apr 13, 2025

  • Will squash ASAP

Done, in case it is waiting from me an update.

@mhilbrunner mhilbrunner merged commit 5ebc3a7 into godotengine:master Apr 28, 2025
1 check passed
@mhilbrunner
Copy link
Member

Thank you! Merged.

@vgezer vgezer deleted the inspectordock branch June 4, 2025 09:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:manual Issues and PRs related to the Manual/Tutorials section of the documentation enhancement topic:editor Related to editor features or workflows

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants