From c2ae566adf2dde21b8548f0c7d57c11747ff88c2 Mon Sep 17 00:00:00 2001 From: Puneeth Chaganti Date: Tue, 16 May 2023 16:51:20 +0530 Subject: [PATCH] WIP: Debug broken github notify --- environments/development.conf | 11 +++++++++++ local-repos/test/Makefile | 2 +- pipeline/lib/metric.ml | 1 + 3 files changed, 13 insertions(+), 1 deletion(-) diff --git a/environments/development.conf b/environments/development.conf index e8ef14ca..dc361fff 100644 --- a/environments/development.conf +++ b/environments/development.conf @@ -10,6 +10,17 @@ "worker": "autumn", "image": "ocaml/opam:debian-11-ocaml-4.13", "notify_github": true + }, + { + "name": "punchagan/current-bench", + "worker": "autumn", + "image": "ocaml/opam:debian-11-ocaml-4.13", + "notify_github": true + }, + { + "name": "punchagan/dune", + "worker": "autumn", + "notify_github": true } ], "api_tokens": [ diff --git a/local-repos/test/Makefile b/local-repos/test/Makefile index a9803b1c..29951f30 100644 --- a/local-repos/test/Makefile +++ b/local-repos/test/Makefile @@ -14,7 +14,7 @@ define BENCH_DATA_B1_T1_A }, { "name": "grammarFunctor/typing", - "value": 0.28, + "value": 0.2, "units": "secs", "trend": "lower-is-better" }, diff --git a/pipeline/lib/metric.ml b/pipeline/lib/metric.ml index c41e7ba9..f5aff6c1 100644 --- a/pipeline/lib/metric.ml +++ b/pipeline/lib/metric.ml @@ -288,6 +288,7 @@ let notify_metric_changes ~conninfo ~repository ~worker ~docker_image ~config match (pull_number, should_notify) with | Some pull_number, Some _ -> let job_id = Current.map (fun _ -> job_id_) output in + Logs.info (fun log -> log "Notifications enabled for %s ..." repo_id); notify ~conninfo ~repository ~worker ~docker_image ~pull_number job_id | None, _ -> Current.return "Not a pull request" | _, None ->