Build has FAILED
Link to build: https://jenkins.softwareheritage.org/job/DGRPH/job/tox/4/
See console output for more information: https://jenkins.softwareheritage.org/job/DGRPH/job/tox/4/console
I'm approving this as it's good enough. But please make the seed a real random seed rather than hard coded (in a subsequent commit). It's *useful* to have a fixed seed for reproducibility, but it should not be the default and it should be possible to pass it externally, e.g., as a class parameter and/or CLI option.