github actions: remove ubuntu 18.04; add ubuntu 22.04

This commit is contained in:
Davide Gerhard 2022-05-26 07:37:13 +02:00
parent 9dd4283344
commit b42ad1001b
1 changed files with 9 additions and 9 deletions

View File

@ -62,6 +62,15 @@ jobs:
build_type: 'Debug',
cmake_extra_flags: ''
}
- {
name: 'Ubuntu 22.04',
os: ubuntu-22.04,
cc: 'gcc',
cxx: 'g++',
arch: 'x86_64',
build_type: 'Release',
cmake_extra_flags: ''
}
- {
name: 'Ubuntu 20.04',
os: ubuntu-20.04,
@ -80,15 +89,6 @@ jobs:
build_type: 'Release',
cmake_extra_flags: ''
}
- {
name: 'Ubuntu 16.04',
os: ubuntu-16.04,
cc: 'gcc',
cxx: 'g++',
arch: 'x86_64',
build_type: 'Release',
cmake_extra_flags: ''
}
steps:
- name: checkout
uses: actions/checkout@v2