aboutsummaryrefslogtreecommitdiff
path: root/mod/mod-ci-github.cxx
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-11-01 13:42:02 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-11-04 11:10:53 +0200
commit2931a854f1e09d5a9c1702322e6e1f17e22df069 (patch)
tree1aba936e2bf064bf4afa22d33c40dc86260f0a34 /mod/mod-ci-github.cxx
parent9826569176b9b1bfa33cba2c37b050c6900db3ad (diff)
Get it working again
Diffstat (limited to 'mod/mod-ci-github.cxx')
-rw-r--r--mod/mod-ci-github.cxx2
1 files changed, 2 insertions, 0 deletions
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.
//