Merge branch 'mr/124' into maint-0.4.4

2024-12-06 19:41:15 +01:00 · 2020-08-19 13:55:07 +03:00
parent deea196370 974abdf632
commit b1b0079675
11 changed files with 89 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.