diff --git a/config/repos.json b/config/repos.json index 0788b1c..4f4784b 100644 --- a/config/repos.json +++ b/config/repos.json @@ -169,6 +169,15 @@ "mode": "follow", "target": "main" } + }, + "name": "timerlat", + "type": "benchmark", + "repository": "https://github.com/perftool-incubator/bench-timerlat", + "primary-branch": "main", + "checkout": { + "mode": "follow", + "target": "main" + } }, { "name": "tracer",