diff options
author | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-22 09:23:22 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-22 16:06:47 +0200 |
commit | a627549b72cc33fe7bf1b938309cbafd2e2b8410 (patch) | |
tree | dd8ac7272f8944eb71561980f8c2dc423e8456a4 /mod/mod-ci-github-service-data.hxx | |
parent | fee639af4885916d9ef4bde371e6ba6d58b6fbcc (diff) |
handle_check_suite_request(): create unloaded CI request
Diffstat (limited to 'mod/mod-ci-github-service-data.hxx')
-rw-r--r-- | mod/mod-ci-github-service-data.hxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mod/mod-ci-github-service-data.hxx b/mod/mod-ci-github-service-data.hxx index 89fcaab..462e7f7 100644 --- a/mod/mod-ci-github-service-data.hxx +++ b/mod/mod-ci-github-service-data.hxx @@ -134,7 +134,8 @@ namespace brep timestamp iat_expires_at, uint64_t installation_id, string repository_node_id, - string report_sha); + string report_sha, + bool re_request); // The pull_request constructor. // |