From ddb2b7fa587621d8a8258f4d6508a10d0404e3fb Mon Sep 17 00:00:00 2001 From: rudy Date: Mon, 28 Nov 2022 15:51:23 +0100 Subject: [PATCH] fix(ci): more robust keysetcache download --- compiler/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/Makefile b/compiler/Makefile index 1d972b8f9..f13c347a6 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -184,9 +184,9 @@ serverlib: build-initialized GITHUB_URL=https://api.github.com/repos/zama-ai/concrete-compiler-internal -GITHUB_URL_LIST_ARTIFACTS="${GITHUB_URL}/actions/artifacts" +GITHUB_URL_LIST_ARTIFACTS="${GITHUB_URL}/actions/artifacts?name=${KEYSETCACHENAME}&per_page=1" CURL=curl -H"Accept: application/vnd.github.v3+json" -H"authorization: Bearer ${GITHUB_TOKEN}" -keysetcache.zip: REDIRECT_URL = $(shell ${CURL} -s ${GITHUB_URL_LIST_ARTIFACTS} | grep -A 10 ${KEYSETCACHENAME} | grep archive_download_url | head -n 1 | grep -o 'http[^"]\+') +keysetcache.zip: REDIRECT_URL = $(shell ${CURL} -s ${GITHUB_URL_LIST_ARTIFACTS} | grep archive_download_url | grep -o 'http[^"]\+') keysetcache.zip: ${CURL} --location -o keysetcache.zip ${REDIRECT_URL} du -h keysetcache.zip