Nix CI Benchmarks (via rudolfs) — discussion

#nix