Remove Fedora 37 from devel; add Fedora 38. (#658)

This commit is contained in:
Felix Fontein 2023-06-26 22:01:21 +02:00 committed by GitHub
parent 285bbf54cb
commit e04111550d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -111,8 +111,8 @@ stages:
targets:
- name: CentOS 7
test: centos7
- name: Fedora 37
test: fedora37
- name: Fedora 38
test: fedora38
- name: openSUSE 15
test: opensuse15
- name: Ubuntu 20.04
@ -132,6 +132,8 @@ stages:
parameters:
testFormat: 2.15/linux/{0}
targets:
- name: Fedora 37
test: fedora37
- name: CentOS 7
test: centos7
groups: