Skip to content

ci: use DevTools @latest - #3

Closed
NhanAZ wants to merge 1 commit into
mainfrom
chore/devtools-latest-20261110
Closed

NhanAZ wants to merge 1 commit into
mainfrom
chore/devtools-latest-20261110

Conversation

@NhanAZ

@NhanAZ NhanAZ commented Nov 10, 2026

Copy link
Copy Markdown
Collaborator

Update the repository workflows to use the maintained AxolotlBucketLabs/DevTools@latest channel. This change only updates DevTools references and does not modify plugin source code or runtime APIs.

@NhanAZ

NhanAZ commented Nov 10, 2026

Copy link
Copy Markdown
Collaborator Author

Closing this temporary PR because the bulk update is being applied directly as requested.

@NhanAZ NhanAZ closed this Nov 10, 2026
@NhanAZ
NhanAZ deleted the chore/devtools-latest-20261110 branch November 10, 2026 13:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant