1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-11-19 16:24:58 +00:00

More consistent naming for jobs

This commit is contained in:
Carles Fernandez 2018-09-16 12:35:02 +02:00
parent 74a6706e25
commit 7ec5097ba7
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -337,7 +337,7 @@ coverity-scan:
# Stage "test" # Stage "test"
run-tests: run-tests-x86:
image: debian:9.3-slim image: debian:9.3-slim
stage: test stage: test
script: script:
@ -459,8 +459,8 @@ position-test-180417100529:
- build64/*.ps - build64/*.ps
run-test-arm: run-tests-armhf:
image: carlesfernandez/gnsssdr-dev-arm32v7:latest image: carlesfernandez/gnsssdr-dev-arm32v7:rocko
stage: test stage: test
tags: tags:
- arm - arm