Zulip Chat Archive
Stream: general
Topic: lean-action releases
Chris Henson (Dec 15 2025 at 21:08):
Is there an upcoming release planned for lean-action? I added a test-args input ~4 months ago, but it remains in the "unreleased" section of the changelog. (I know I can use the main branch or a specific commit, but this is not always desirable for maintenance purposes)
Last updated: Dec 20 2025 at 21:32 UTC