diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2025-02-13 10:39:54 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2025-02-13 10:39:54 +0200 |
| commit | bbc09592b0f8e95fd96dbc39172d9f6f2464f917 (patch) | |
| tree | 1d9e63ab7c9fbeb155cc2ef918d1ac6a0d34ff54 /mod/mod-ci-github-service-data.hxx | |
| parent | 532de380a91b7dd63cef836d8e3ea6d514ec185b (diff) | |
Sketch: batching
Diffstat (limited to 'mod/mod-ci-github-service-data.hxx')
| -rw-r--r-- | mod/mod-ci-github-service-data.hxx | 4 |
1 files changed, 3 insertions, 1 deletions
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. |