ec0113bc

Author: Valentin Hirschi <valentin.hirschi@gmail.com>

Committer: GitHub <noreply@github.com>

Merge pull request #1: robust preparation of hand-written one-loop DOT graphs

cli: robust preparation of hand-written one-loop DOT graphs
Time to Start Worker time Duration Time to finish Idle
Config - - - - 65h36m28s
Eval - - - - -
Build - - - - -
Suite - - - - 65h36m28s