Skip to content

build: Pin OpenUI5 Types - #344

Merged
flovogt merged 1 commit into
mainfrom
pin-ui5-types
Sep 1, 2026
Merged

build: Pin OpenUI5 Types#344
flovogt merged 1 commit into
mainfrom
pin-ui5-types

Conversation

@flovogt

@flovogt flovogt commented Sep 1, 2026

Copy link
Copy Markdown
Member

No description provided.

@flovogt
flovogt merged commit 0fe8dce into main Sep 1, 2026
3 checks passed
@flovogt
flovogt deleted the pin-ui5-types branch September 1, 2026 15:46
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