Issues · ProvableHQ/leo.nix · GitHub

Labels Milestones New issue

Add `leo-bin` and `snarkos-bin` derivations that serve upstream binaries directly

#18

· mitchmindtree opened

on Mar 11, 2026

Add daily workflow to auto-update `leo-src` input

#17

· mitchmindtree opened

on Mar 11, 2026

Update `leo` and `leo-dev` derivations to lookup snarkos version from within `leo-src` repo

#16

· mitchmindtree opened

on Mar 11, 2026