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

Merged

mvollmer merged 8 commits into cockpit-project:main from mvollmer:shell-typing-4

Jan 8, 2025

Merged

shell: More types than ever #21426

shell: Fix bugs found by TypeScript

Packit-as-a-Service / rpm-build:centos-stream-9-aarch64 succeeded Jan 8, 2025 in 0s

RPMs were built successfully.

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

Do you maintain a Fedora package and you think it's boring? Packit can help. Take a look here to know more.

View more details on Packit-as-a-Service