diff options
| -rw-r--r-- | mod/mod-ci-github-service-data.cxx | 4 | ||||
| -rw-r--r-- | mod/mod-ci-github.cxx | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/mod/mod-ci-github-service-data.cxx b/mod/mod-ci-github-service-data.cxx index 31239c4..f22961b 100644 --- a/mod/mod-ci-github-service-data.cxx +++ b/mod/mod-ci-github-service-data.cxx @@ -119,8 +119,8 @@ namespace brep string rid, string rcu, kind_type k, - bool rr, bool pc, + bool rr, string cs, string rs) : kind (k), pre_check (pc), re_request (rr), @@ -144,8 +144,8 @@ namespace brep string rid, string rcu, kind_type k, - bool rr, bool pc, + bool rr, string cs, string rs, string pid, diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index 035d81b..30f7a53 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -811,6 +811,8 @@ namespace brep { // Create the CI tenant. + sd.pre_check = false; + // Set the service data's check_sha if this is a remote PR. The test // merge commit refs are located at refs/pull/<PR-number>/merge. // |