1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-07-05 03:13:15 +00:00
This commit is contained in:
Carles Fernandez 2019-11-30 03:06:49 +01:00
parent 9ad70ff713
commit ddc12a4d6c
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -439,7 +439,7 @@ ubuntu19.10:
ubuntu20.04:
image: ubuntu:focus
image: ubuntu:focal
stage: build
script:
- apt-get update