Merge branch 'master' into 'master'

get_image: Fix CI build URLs

See merge request Librem5/librem5-devkit-tools!8

scripts/get_image.sh

@@ -38,10 +38,18 @@ done
 
 [ ! -e files ] && mkdir files
 
-base_url=https://arm01.puri.sm/job/Images/job/${pureos_board}-${build_type}_image_build/lastSuccessfulBuild/artifact/
-wget -N "${base_url}/${pureos_board}-${build_type}.img.xz" -P files/
+if [ "${build_type}" == "ci" ]; then
+  suffix=""
+  build_name="devkit_CI_image_build"
+else
+  suffix="-${build_type}"
+  build_name="${pureos_board}-${build_type}_image_build"
+fi
+
+base_url=https://arm01.puri.sm/job/Images/job/${build_name}/lastSuccessfulBuild/artifact/
+wget -N "${base_url}/${pureos_board}${suffix}.img.xz" -P files/
 
 if [ "${no_extract}" == 0 ]; then
-	xz -vdk -f files/${pureos_board}-${build_type}.img.xz
+	xz -vdk -f files/${pureos_board}${suffix}.img.xz
 fi