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

Add typescript capabilities #200

Merged
merged 7 commits into from
Sep 27, 2023
Merged

Conversation

Arnei
Copy link
Member

@Arnei Arnei commented Sep 11, 2023

This PR uses ts-migrate to add typescript to the app part of the project.

To clarify, this PR only introduces typescript to the application, it does not actually make an effort to properly type components. Thus, components are implicitly typed or still any. However, this PR provides the groundwork for introducing proper typing, which can happen bit by bit in follow-up PRs and new PRs.

This PR adds A LOT of lines mainly due to comments disabling typescript errors, most of which complain about implicit anys. I personally think it's a waste of time to add explicit anys everywhere, as hopefully proper typing will come later, so I'm in favor of leaving the comments in for now.

Co-authored-by: ts-migrate <>
Co-authored-by: ts-migrate <>
TS-Migrate did not run flawlessly. This cleans up any
errors it created, as well as a few existing inconsistencies
that only now turned up.
@github-actions
Copy link
Contributor

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

Missed these in the last merge. Thanks to @owi92
Copy link
Contributor

@owi92 owi92 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this should be safe to merge (...he said before everything blew up)

@Arnei
Copy link
Member Author

Arnei commented Sep 27, 2023

Thanks for the review, merging.

@Arnei Arnei merged commit 390953b into opencast:admin-ui-picard Sep 27, 2023
1 check passed
@Arnei Arnei mentioned this pull request Oct 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type:enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants