mirror of
https://github.com/zama-ai/concrete.git
synced 2026-04-17 03:00:54 -04:00
chore: use pip package for docker
- comment out package-watcher as it's not compatible with the new docker waiting on the compiler proper release workflow to update this - update setup_env target to be docker and bare env friendly (workaround) - update torch_requirements.txt refs #809
This commit is contained in:
125
script/actions_utils/gh_dl_release.sh
Executable file
125
script/actions_utils/gh_dl_release.sh
Executable file
@@ -0,0 +1,125 @@
|
||||
#!/usr/bin/env bash
|
||||
#
|
||||
# Adapted from https://gist.github.com/maxim/6e15aa45ba010ab030c4
|
||||
#
|
||||
# gh-dl-release! It works!
|
||||
#
|
||||
# This script downloads an asset from latest or specific Github release of a
|
||||
# private repo. Feel free to extract more of the variables into command line
|
||||
# parameters.
|
||||
#
|
||||
# PREREQUISITES
|
||||
#
|
||||
# curl, wget, jq
|
||||
#
|
||||
# USAGE
|
||||
#
|
||||
# Set all the variables inside the script, make sure you chmod +x it, then
|
||||
# to download specific version to my_app.tar.gz:
|
||||
#
|
||||
# gh-dl-release 2.1.1 my_app.tar.gz
|
||||
#
|
||||
# to download latest version:
|
||||
#
|
||||
# gh-dl-release latest latest.tar.gz
|
||||
#
|
||||
# If your version/tag doesn't match, the script will exit with error.
|
||||
|
||||
TOKEN=
|
||||
ORG_REPO=
|
||||
# the name of your release asset file, e.g. build.tar.gz
|
||||
FILE=
|
||||
DEST_FILE=
|
||||
VERSION="latest"
|
||||
COMPILER_TAG_OUTPUT_FILE=debug.txt
|
||||
|
||||
while [ -n "$1" ]
|
||||
do
|
||||
case "$1" in
|
||||
"--token" )
|
||||
shift
|
||||
TOKEN="$1"
|
||||
;;
|
||||
|
||||
"--org-repo" )
|
||||
shift
|
||||
ORG_REPO="$1"
|
||||
;;
|
||||
|
||||
"--version" )
|
||||
shift
|
||||
VERSION="$1"
|
||||
;;
|
||||
|
||||
"--dest-file" )
|
||||
shift
|
||||
DEST_FILE="$1"
|
||||
;;
|
||||
|
||||
"--file" )
|
||||
shift
|
||||
FILE="$1"
|
||||
;;
|
||||
|
||||
"--compiler-tag-output-file")
|
||||
shift
|
||||
COMPILER_TAG_OUTPUT_FILE="$1"
|
||||
;;
|
||||
|
||||
*)
|
||||
echo "Unknown param : $1"
|
||||
exit 1
|
||||
;;
|
||||
esac
|
||||
shift
|
||||
done
|
||||
|
||||
alias errcho='>&2 echo'
|
||||
|
||||
DEST_DIR=$(dirname "${DEST_FILE}")
|
||||
mkdir -p "${DEST_DIR}"
|
||||
|
||||
if [[ "${VERSION}" == "latest" ]]; then
|
||||
# Github should return the latest release first.
|
||||
jq_parser=".[0]"
|
||||
else
|
||||
jq_parser=". | map(select(.tag_name == \"${VERSION}\"))[0]"
|
||||
fi;
|
||||
|
||||
release_json=$(curl -H "Authorization: token ${TOKEN}" \
|
||||
-H "Accept: application/vnd.github.v3.raw" \
|
||||
"https://api.github.com/repos/${ORG_REPO}/releases" | jq "${jq_parser}")
|
||||
|
||||
echo "Release json:"
|
||||
echo "${release_json}"
|
||||
|
||||
asset_json=$(echo "${release_json}" | jq ".assets | map(select(.name | contains(\"${FILE}\")))[0]")
|
||||
|
||||
echo "Asset json:"
|
||||
echo "${asset_json}"
|
||||
|
||||
release_tag=$(echo "${release_json}" | jq -rc '.tag_name')
|
||||
asset_id=$(echo "${asset_json}" | jq -rc '.id')
|
||||
|
||||
release_tag="${release_tag//-/_}"
|
||||
|
||||
echo "Release tag: ${release_tag}"
|
||||
echo "Asset id: ${asset_id}"
|
||||
|
||||
if [[ "${asset_id}" == "null" ]]; then
|
||||
errcho "ERROR: version not found ${VERSION}"
|
||||
exit 1
|
||||
fi
|
||||
|
||||
echo "Downloading..."
|
||||
|
||||
wget --auth-no-challenge --header='Accept:application/octet-stream' \
|
||||
"https://${TOKEN}:@api.github.com/repos/${ORG_REPO}/releases/assets/${asset_id}" \
|
||||
-O "${DEST_FILE}"
|
||||
|
||||
err_code=$?
|
||||
|
||||
echo "Done."
|
||||
echo "CONCRETEFHE_COMPILER_TAG=${release_tag}" >> "${COMPILER_TAG_OUTPUT_FILE}"
|
||||
|
||||
exit "${err_code}"
|
||||
Reference in New Issue
Block a user