Merge branch 'develop'

jakobandersen · Aug 31, 2020 · 91cfc11 · 91cfc11
2 parents 60e5527 + 0d0c616
commit 91cfc11
Show file tree

Hide file tree

Showing 330 changed files with 42,384 additions and 16,067 deletions.
diff --git a/.drone.jsonnet b/.drone.jsonnet
@@ -93,7 +93,12 @@ 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", "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"]
+	Pipeline(boost == "1_74_0" && compiler == "g++-7", compiler, boost)
+	for compiler in [
+		"g++-7", "g++-8", "g++-9", "g++-10",
+		"clang++-6.0", "clang++-7", "clang++-8", "clang++-9", "clang++-10",
+	]
+	for boost in [
+		"1_72_0", "1_73_0", "1_74_0",
+	]
 ]