diff options
Diffstat (limited to 'mod/mod-ci-github-gq.hxx')
| -rw-r--r-- | mod/mod-ci-github-gq.hxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mod/mod-ci-github-gq.hxx b/mod/mod-ci-github-gq.hxx index 5fc75aa..2a8138a 100644 --- a/mod/mod-ci-github-gq.hxx +++ b/mod/mod-ci-github-gq.hxx @@ -39,7 +39,8 @@ namespace brep const string& installation_access_token, uint64_t app_id, const string& repository_id, - const string& head_sha); + const string& head_sha, + size_t batch); // Create a new check run on GitHub for a build in the queued or building // state. Note that the state cannot be built because in that case a |