run config with coq benchmarks only

run_config.json

{
  "wrappers": [
    {
      "name": "orun",
      "command": "orun -o %{output} -- taskset --cpu-list 5 %{command}"
    },
    {
      "name": "perfstat",
      "command": "perf stat -o %{output} -- taskset --cpu-list 5 %{command}"
    },
    {
      "name": "pausetimes_trunk",
      "command": "bash pausetimes_trunk %{output} taskset --cpu-list 5 %{command}"
    },
    {
      "name": "pausetimes_multicore",
      "command": "bash pausetimes_multicore %{output} taskset --cpu-list 5 %{command}"
    }
  ],
  "benchmarks": [
    {
      "executable": "coqc",
      "name": "coq",
      "tags": [
        "gt_100s",
        "macro_bench",
        "run_in_ci"
      ],
      "runs": [
        {
          "params": "benchmarks/coq/BasicSyntax.v",
          "short_name": "BasicSyntax.v"
        },
        {
          "params": "benchmarks/coq/AbstractInterpretation.v",
          "short_name": "AbstractInterpretation.v"
        }
      ]
    }
  ]
}