diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-11-26 14:55:16 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-11-27 08:49:10 +0200 |
| commit | 136f94d0602b1d6ffb5061205fc6d08c1bb6a4d6 (patch) | |
| tree | 8108276828080d48a8852b32199a9f449c1545e1 /mod/mod-ci-github.cxx | |
| parent | 36ec9d76a06603686471938ac0aecdeff65d1a35 (diff) | |
Use character instead of string literals
Diffstat (limited to 'mod/mod-ci-github.cxx')
| -rw-r--r-- | mod/mod-ci-github.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index ea16fda..be2dc10 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -516,7 +516,7 @@ namespace brep // Service id that uniquely identifies the CI tenant. // - string sid (cs.repository.node_id + ":" + cs.check_suite.head_sha); + string sid (cs.repository.node_id + ':' + cs.check_suite.head_sha); // If the user requests a rebuild of the (entire) PR, then this manifests // as the check_suite rather than pull_request event. Specifically: @@ -1657,7 +1657,7 @@ namespace brep // Service id that will uniquely identify the CI tenant. // - string sid (sd.repository_node_id + ":" + sd.report_sha); + string sid (sd.repository_node_id + ':' + sd.report_sha); // Create an unloaded CI tenant, doing nothing if one already exists // (which could've been created by a head branch push or another PR |