Skip to content

Describe Ledger's single, revision-named flake pin - #9

Merged
jwiegley merged 1 commit into
mainfrom
johnw/flake-only-pin
Nov 5, 2026
Merged

jwiegley merged 1 commit into
mainfrom
johnw/flake-only-pin

Describe Ledger's single, revision-named flake pin

a41644b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Build oracle and check proofs (ubuntu-latest)
succeeded Nov 5, 2026 in 6m 51s