Skip to content

GitLab

graph-tool
graph-tool

Remove unused variable Sampler._size

2 jobs for coverity in 76 minutes and 30 seconds (queued for 2 seconds)
d1562f86
1 related merge request: !38 Simplifications identified with the help of Coverity
Status Job ID Name Coverage
  Test
passed #4898
amd64
job_clang_amd64

01:16:30

passed #4897
amd64
job_gcc_amd64

01:01:20