Merge branch 'develop'

jakobandersen · Feb 5, 2020 · 60e5527 · 60e5527
2 parents 83a3b7a + 74b0211
commit 60e5527
Show file tree

Hide file tree

Showing 258 changed files with 18,744 additions and 3,952 deletions.
diff --git a/.drone.jsonnet b/.drone.jsonnet
@@ -94,6 +94,6 @@ local Pipeline(withCoverage, compiler, boost) = {
 
 [
 	Pipeline(boost == "1_64_0" && compiler == "g++-7", compiler, boost)
-	for compiler in ["g++-7", "g++-8", "g++-9", "clang++-6.0", "clang++-7"]
-	for boost in ["1_64_0", "1_65_1", "1_66_0", "1_67_0", "1_68_0", "1_69_0", "1_70_0"]
+	for compiler in ["g++-7", "g++-8", "g++-9", "clang++-6.0", "clang++-7", "clang++-8"]
+	for boost in ["1_64_0", "1_65_1", "1_66_0", "1_67_0", "1_68_0", "1_69_0", "1_70_0", "1_71_0", "1_72_0"]
 ]