chiark / gitweb /
CI: Install venv instead of virtualenv