Merge branch 'maint-0.3.5' into maint-0.4.3

2024-12-06 19:41:15 +01:00 · 2020-10-07 08:01:37 -04:00
parent beffad8529 ed6a328297
commit b5a88e8d47
11 changed files with 90 additions and 3 deletions
@@ -0,0 +1,4 @@
+  o Minor features (tests):
+    - Our "make check" target now runs the unit tests in 8 parallel chunks.
+      Doing this speeds up hardened CI builds by more than a factor of two.
+      Closes ticket 40098.