CI Bench v1: an open benchmark of GitHub Actions runners

CI job times and costs are an increasingly large bottleneck for coding agents. Today we're...