1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-07-07 12:14:20 +00:00

Update Debian versions

This commit is contained in:
Carles Fernandez 2018-09-08 09:55:53 +02:00
parent 3479c9d674
commit a80eb957a0
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -113,8 +113,8 @@ crosscompile:
allow_failure: true
debian8.10:
image: debian:8.10-slim
debian8.11:
image: debian:8.11-slim
stage: build
script:
- apt-get update
@ -128,8 +128,8 @@ debian8.10:
allow_failure: true
debian9.3:
image: debian:9.3-slim
debian9.5:
image: debian:9.5-slim
stage: build
script:
- apt-get update
@ -142,8 +142,8 @@ debian9.3:
- make install
debian9.3-i386:
image: i386/debian:9.3-slim
debian9.5-i386:
image: i386/debian:9.5-slim
stage: build
script:
- apt-get update
@ -157,7 +157,7 @@ debian9.3-i386:
debian10:
image: debian:buster-slim
image: debian:buster
stage: build
script:
- apt-get update