Skip to content

Build: fix the theme output during development#22841

Merged
ndelangen merged 1 commit into
nextfrom
norbert/fix-dev-theming
May 31, 2023
Merged

Build: fix the theme output during development#22841
ndelangen merged 1 commit into
nextfrom
norbert/fix-dev-theming

Conversation

@ndelangen

Copy link
Copy Markdown
Member

Found an problem with the type definitions creation script we created for development.

@ndelangen ndelangen added the build Internal-facing build tooling & test updates label May 30, 2023
@ndelangen ndelangen self-assigned this May 30, 2023
@ndelangen

Copy link
Copy Markdown
Member Author

self merging @shilman

@ndelangen ndelangen merged commit 8250f1e into next May 31, 2023
@ndelangen ndelangen deleted the norbert/fix-dev-theming branch May 31, 2023 07:19
@ndelangen ndelangen added the patch:yes Bugfix & documentation PR that need to be picked to main branch label May 31, 2023
@shilman shilman added the patch:done Patch/release PRs already cherry-picked to main/release branch label Jun 4, 2023
shilman pushed a commit that referenced this pull request Jun 4, 2023
Build: fix the theme output during development
@ndelangen ndelangen removed the patch:yes Bugfix & documentation PR that need to be picked to main branch label Oct 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build Internal-facing build tooling & test updates patch:done Patch/release PRs already cherry-picked to main/release branch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants