Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Specify more types #1251

Merged
merged 2 commits into from
Jan 18, 2024
Merged

Conversation

Arnei
Copy link
Member

@Arnei Arnei commented Jan 16, 2024

This replaces some any types with more specific ones. No functional changes.

This replaces some `any` types with more specific
ones. No functional changes.
@Arnei Arnei added the type:code-quality Internal improvements to the codebase label Jan 16, 2024
Copy link

This pull request is deployed at test.editor.opencast.org/1251/2024-01-16_14-52-43/ .
It might take a few minutes for it to become available.

@github-actions github-actions bot added the status:conflicts Conflicts with another pull request or issue label Jan 18, 2024
Copy link

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

@github-actions github-actions bot removed the status:conflicts Conflicts with another pull request or issue label Jan 18, 2024
Copy link

This pull request is deployed at test.editor.opencast.org/1251/2024-01-18_11-23-49/ .
It might take a few minutes for it to become available.

@Arnei Arnei merged commit 44f29d7 into opencast:main Jan 18, 2024
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type:code-quality Internal improvements to the codebase
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant