chiark / gitweb /
tests: make `pip3 install` quieter for shorter CI logs