diff options
Diffstat (limited to 'mod/mod-ci-github.cxx')
| -rw-r--r-- | mod/mod-ci-github.cxx | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index cd45c4c..08ff2dc 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -1530,7 +1530,8 @@ namespace brep conclusion_building_summary}; if (gq_create_check_runs (error, check_runs, iat->token, - cr.check_run.app_id, repo_node_id, head_sha)) + cr.check_run.app_id, repo_node_id, head_sha, + options_->build_queued_batch ())) { assert (bcr.state == build_state::queued); assert (ccr.state == build_state::building); @@ -2420,7 +2421,8 @@ namespace brep iat->token, sd.app_id, sd.repository_node_id, - sd.report_sha)) + sd.report_sha, + options_->build_queued_batch ())) { for (const check_run& cr: crs) { |