Repository navigation

Bump pestka and pestka-wasm to Pestka f09ce29 on Aver 0.32.0 - #326

Merged

nomeata merged 2 commits into

leanprover:masterfrom

jasisz:bump-pestka-032

Nov 4, 2026

Merged

Bump pestka and pestka-wasm to Pestka f09ce29 on Aver 0.32.0#326
nomeata merged 2 commits into
leanprover:masterfrom
jasisz:bump-pestka-032

Commits on Nov 4, 2026
- Bump pestka and pestka-wasm to Pestka f09ce29 on Aver 0.32.0
  jasisz
  committed
  4053146
- pestka-wasm runs with --low-memory
  jasisz
  committed
  558df6b