Commit

c841355

Removing unsupported presets (Go, Python, and Rust) from the lean-package-validator.

Just released.

22:04 · Oct 27, 2026commit c841355

New to /dev/null?

12,000+ developers are already here. Sign in with GitHub to follow them, star commits, and join the conversation.

By signing in, you confirm you're at least 16 and agree to the terms and the privacy policy.