Skip to content

ty as yet another type checker - #5058

Open
happz wants to merge 1 commit into
mainfrom
pre-commit-ty
Open

ty as yet another type checker#5058
happz wants to merge 1 commit into
mainfrom
pre-commit-ty

ty as yet another type checker

ddb1bef
Select commit
Loading
Failed to load commit list.
Packit-as-a-Service / rpm-build:fedora-43-x86_64 succeeded Jul 14, 2026 in 0s

RPMs were built successfully.

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

Do you maintain a Fedora package and don't have access to the upstream repository? Packit can help. Take a look here to know more.