We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8d21aa2 commit 1bbda37Copy full SHA for 1bbda37
.buildbot.sh
@@ -0,0 +1,7 @@
1
+#!/bin/sh
2
+
3
+set -e
4
5
+./configure --enable-optimizations
6
+make -j `nproc`
7
+./python -m test
bors.toml
@@ -0,0 +1,10 @@
+# The service providing the commit statuses to GitHub.
+status = [
+ "buildbot/buildbot-build-script"
+]
+# Allow 30 minutes for builds.
+timeout_sec = 1350
8
9
+# Have bors delete auto-merged branches (if possible).
10
+delete_merged_branches = true
0 commit comments