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