9 commits

Author	SHA1	Message	Date
heinrich5991	69f987d6e5	Fix bors.toml for Ubuntu 18.04 ... Fixes #3907.	2021-06-14 14:54:55 +02:00
def	c8efa7d150	Make bors also look at clang-format & clang-tidy	2020-11-03 13:52:44 +01:00
Learath	6d433fc591	Revert "Allow macOS CI to fail for merging" ... This reverts commit 7847e458c3.	2020-05-01 16:44:58 +03:00
heinrich5991	7847e458c3	Allow macOS CI to fail for merging	2020-04-10 21:05:30 +02:00
heinrich5991	86e981c23a	bors: We're not on Travis CI anymore	2020-04-10 21:05:06 +02:00
Learath	62105bc3d7	Try fix bors	2020-01-23 19:29:58 +01:00
heinrich5991	55648a3157	Update bors.toml for CircleCI2 ... Status report names have changed.	2018-08-15 17:41:09 +02:00
heinrich5991	29a2d60919	Use a longer bors timeout ... This will hopefully allow the macOS system on Travis CI to finish.	2017-12-06 21:07:27 +01:00
heinrich5991	5f4bc09962	Add Bors-NG	2017-10-15 13:41:45 +02:00