fix: fix deprecated proving system commands#20
Merged
TomAFrench merged 7 commits intomainfrom Jan 30, 2026
Merged
Commits
Commits on Dec 16, 2025
- committed
Commits on Jan 26, 2026
Commits on Jan 28, 2026
- committed
Commits on Jan 29, 2026
- committed
- committed
- committed
- committed