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

pull/628/head
Felix Fontein 2023-06-26 22:36:04 +02:00 committed by GitHub
parent 57a8c7e652
commit ed6285e083
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 4 deletions

View File

@ -107,8 +107,8 @@ stages:
parameters: parameters:
testFormat: devel/linux/{0} testFormat: devel/linux/{0}
targets: targets:
- name: Fedora 37 - name: Fedora 38
test: fedora37 test: fedora38
- name: openSUSE 15 - name: openSUSE 15
test: opensuse15 test: opensuse15
- name: Ubuntu 22.04 - name: Ubuntu 22.04
@ -126,6 +126,8 @@ stages:
parameters: parameters:
testFormat: 2.15/linux/{0} testFormat: 2.15/linux/{0}
targets: targets:
- name: Fedora 37
test: fedora37
- name: CentOS 7 - name: CentOS 7
test: centos7 test: centos7
groups: groups:
@ -200,8 +202,8 @@ stages:
targets: targets:
- name: Alpine 3.17 - name: Alpine 3.17
test: alpine/3.17 test: alpine/3.17
- name: Fedora 37 - name: Fedora 38
test: fedora/37 test: fedora/38
- name: Ubuntu 22.04 - name: Ubuntu 22.04
test: ubuntu/22.04 test: ubuntu/22.04
groups: groups: