Skip to content

Type dropdown - #314

Merged
Arnei merged 2 commits into
opencast:admin-ui-picardfrom
Arnei:type-dropdown
Apr 10, 2024
Merged

Type dropdown#314
Arnei merged 2 commits into
opencast:admin-ui-picardfrom
Arnei:type-dropdown

Conversation

@Arnei

@Arnei Arnei commented Mar 27, 2024

Copy link
Copy Markdown
Member

Typing our DropDown component and associated util functions.

@Arnei Arnei added the type:typing Add typing label Mar 27, 2024
@github-actions

Copy link
Copy Markdown
Contributor

This pull request has conflicts ☹
Please resolve those so we can review the pull request.
Thanks.

Typing our DropDown component and
associated util functions.
@Arnei
Arnei marked this pull request as ready for review April 4, 2024 09:47
@Arnei
Arnei merged commit 958defa into opencast:admin-ui-picard Apr 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:typing Add typing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant