Ideally it would: 1. Update the flake input for leo-src 2. Open PR. We'd want to solve #16 first, otherwise we'd have some tedium around manually fixing the snarkos version each time. I think detsys already have an action for this.
Ideally it would:
We'd want to solve #16 first, otherwise we'd have some tedium around manually fixing the snarkos version each time.
I think detsys already have an action for this.