ci issueshttps://gitlab.mpi-sws.org/iris/ci/-/issues2022-03-02T06:38:45Zhttps://gitlab.mpi-sws.org/iris/ci/-/issues/1Gather per-statement timing data2022-03-02T06:38:45ZRalf Jungjung@mpi-sws.orgGather per-statement timing dataMany have requested it, most recently @janno -- it would be great if we could gather per-statement timing data on CI.Many have requested it, most recently @janno -- it would be great if we could gather per-statement timing data on CI.