Update CI

Author: rbx

Jenkinsfile

@@ -20,7 +20,7 @@ def jobMatrix(String type, List specs) {
       selector = 'fedora-39-x86_64'
       os = 'fedora'
       ver = '39'
-      dds = '3.11'
+      dds = '3.12'
     }
 
     def label = "${job}"
@@ -78,9 +78,9 @@ pipeline{
           def builds = jobMatrix('build', [
             // [os: 'fedora', ver: '36', arch: 'x86_64', compiler: 'gcc-12', dds: '3.7.22'], // temp disable
             // [os: 'fedora', ver: '37', arch: 'x86_64', compiler: 'gcc-12', dds: '3.7.22'], // broken flatbuffers detection
-            [os: 'fedora', ver: '38', arch: 'x86_64', compiler: 'gcc-13', dds: '3.7.22'],
-            [os: 'fedora', ver: '39', arch: 'x86_64', compiler: 'gcc-13', dds: '3.11'],
-            [os: 'fedora', ver: '40', arch: 'x86_64', compiler: 'gcc-14', dds: '3.11'],
+            [os: 'fedora', ver: '38', arch: 'x86_64', compiler: 'gcc-13', dds: '3.12'],
+            [os: 'fedora', ver: '39', arch: 'x86_64', compiler: 'gcc-13', dds: '3.12'],
+            [os: 'fedora', ver: '40', arch: 'x86_64', compiler: 'gcc-14', dds: '3.12'],
           ])
 
           def checks = jobMatrix('check', [