From 21735544f5776850fcfd36b82dd5fcad4f6c113b Mon Sep 17 00:00:00 2001 From: Dennis Klein Date: Tue, 28 Feb 2023 18:23:17 +0100 Subject: [PATCH] ci: Add Fedora 37 & 38 builds --- Jenkinsfile | 2 ++ 1 file changed, 2 insertions(+) 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'], ])