1
0
Fork 0
master
dump_stack() 2023-05-10 10:06:05 +00:00
parent 0735f1d581
commit 828511f0eb
Signed by: dump_stack
GPG Key ID: BE44DA8C062D87DC
1 changed files with 14 additions and 15 deletions

View File

@ -135,8 +135,7 @@ jobs:
strategy:
matrix:
os: |
[
os: [
{ distro: Ubuntu, release: 12.04 },
{ distro: Ubuntu, release: 14.04 },
{ distro: Ubuntu, release: 16.04 },