Skip to content

Commit 45b2eda

Browse files
committed
Fix CI download script timeout
1 parent fd7c8ba commit 45b2eda

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

.gitlab-ci.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -33,8 +33,7 @@ build:linux:
3333
- make -j4 INSTALL_ROOT=../ide install; find ../ide/
3434
- cd ..
3535
# Download Gecode Gist so linuxdeploy can include its dependencies
36-
- curl --retry 10 --location --header "PRIVATE-TOKEN:$ACCESS_TOKEN" --silent https://gitlab.com/api/v4/snippets/1796163/raw | tr -d '\r' > download.sh
37-
- sh download.sh minizinc-vendor master gecode_gist:linux vendor.zip
36+
- sh ${VENDOR_SCRIPT} minizinc-vendor master gecode_gist:linux vendor.zip
3837
- unzip -q vendor.zip
3938
- linuxdeploy --appdir ide --executable vendor/gecode_gist/bin/fzn-gecode --plugin qt -v0
4039
- rm -rf ide/usr/share ide/usr/translations ide/usr/bin/fzn-gecode

0 commit comments

Comments
 (0)