diff --git a/Jenkinsfile b/Jenkinsfile index a34113e9..f67e77a8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -93,6 +93,8 @@ pipeline{ [os: 'fedora', ver: '34', arch: 'x86_64', compiler: 'gcc-11', extra: all], [os: 'fedora', ver: '35', arch: 'x86_64', compiler: 'gcc-11', extra: all], [os: 'fedora', ver: '36', arch: 'x86_64', compiler: 'gcc-12', extra: all], + [os: 'fedora', ver: '37', arch: 'x86_64', compiler: 'gcc-12', extra: '-DHAS_PMIX=ON'], + [os: 'fedora', ver: '38', arch: 'x86_64', compiler: 'gcc-13', extra: '-DHAS_PMIX=ON'], [os: 'macos', ver: '12', arch: 'x86_64', compiler: 'apple-clang-13', extra: '-DHAS_ASIO=ON'], [os: 'macos', ver: '12', arch: 'arm64', compiler: 'apple-clang-13', extra: '-DHAS_ASIO=ON'], ])