Skip to content

Fix some CI issues - #387

Open
wegank wants to merge 2 commits into
algebraic-solving:masterfrom
wegank:ci-seed-fix-1
Open

wegank wants to merge 2 commits into
algebraic-solving:masterfrom
wegank:ci-seed-fix-1

Fix show test-suite.log for distcheck

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