Repository navigation

Fix some CI issues - #387

Open

wegank wants to merge 2 commits into

algebraic-solving:masterfrom

wegank:ci-seed-fix-1

Open

Fix some CI issues#387
wegank wants to merge 2 commits into
algebraic-solving:masterfrom
wegank:ci-seed-fix-1

Commits on Oct 29, 2026
- Fix make distcheck with fixed seed
  wegank
  committed
  04af677
- Fix show test-suite.log for distcheck
  wegank
  committed
  9ec3533