Added support for Magma version tags (#2247)

This commit is contained in:
Anton Bardov
2023-06-23 20:47:23 +03:00
committed by GitHub
parent 56d68a6e76
commit b89844d5b2
2 changed files with 6 additions and 2 deletions

View File

@@ -4,9 +4,11 @@
. "${SCRIPTS:-/}start-utils"
isDebugging && set -x
: "${MAGMA_VERSION:=}"
resolveVersion
if ! downloadUrl=$(get --json-path '$.link' "https://api.magmafoundation.org/api/v2/${VERSION}/latest"); then
if ! downloadUrl=$(get --json-path '$.link' "https://api.magmafoundation.org/api/v2/${VERSION}/latest/${MAGMA_VERSION}"); then
log "ERROR failed to locate latest Magma download for ${VERSION}. Is that version supported?"
exit 1
fi