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 12 commits into cockpit-project:main from mvollmer:shell-typing-4

Draft

shell: More types than ever #21426

test: Don't ignore TS2740

Packit-as-a-Service / rpm-build:centos-stream-10-x86_64 succeeded Dec 12, 2024 in 0s

RPMs were built successfully.

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

Interested in the Packit team plans and priorities? Check our epic board.

View more details on Packit-as-a-Service