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.

Sign up for GitHub

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

shell: More types than ever #21426

Draft

mvollmer wants to merge 8 commits into cockpit-project:main from mvollmer:shell-typing-4

Draft

shell: More types than ever #21426

shell: Fix bugs found by TypeScript

Packit-as-a-Service / rpm-build:fedora-41-x86_64 succeeded Jan 3, 2025 in 0s

RPMs were built successfully.

Name/Job	URL
Dashboard	https://dashboard.packit.dev/jobs/copr/2101721

Want to use a build from a different project when testing? Take a look here to know more.

View more details on Packit-as-a-Service