Currently, Git actions for the benchmarking pull requests is broken. It needs to be investigated and fixed.