Repository navigation

fix(snap): use openshell-prover instead of openshell.prover - #4835

Merged

pimlock merged 1 commit into

NVIDIA:mainfrom

olivercalder:snap-openshell-prover-alias

Oct 22, 2026

Merged

fix(snap): use openshell-prover instead of openshell.prover#4835
pimlock merged 1 commit into
NVIDIA:mainfrom
olivercalder:snap-openshell-prover-alias

Commits on Oct 22, 2026
- fix(snap): use openshell-prover instead of openshell.prover
  olivercalder
  committed
  5f71606