From bbc09592b0f8e95fd96dbc39172d9f6f2464f917 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 13 Feb 2025 10:39:54 +0200
Subject: Sketch: batching

---
 mod/mod-ci-github-service-data.hxx | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'mod/mod-ci-github-service-data.hxx')

diff --git a/mod/mod-ci-github-service-data.hxx b/mod/mod-ci-github-service-data.hxx
index 7ac39dd..9aa512a 100644
--- a/mod/mod-ci-github-service-data.hxx
+++ b/mod/mod-ci-github-service-data.hxx
@@ -55,6 +55,8 @@ namespace brep
     }
   };
 
+  using check_runs = vector<check_run>;
+
   // We have two kinds of service data that correspond to the following two
   // typical scenarios (until/unless we add support for merge queues):
   //
@@ -123,7 +125,7 @@ namespace brep
     //
     string report_sha;
 
-    vector<check_run> check_runs;
+    brep::check_runs check_runs;
 
     // Flag indicating that all the elements in check_runs are built and this
     // check suite is completed.
-- 
cgit v1.1