Use venv
for CI
#861
run-solverdummy.yml
on: pull_request
Run solverdummies
5m 24s
venv
for CI
#861