Use BASIS_TOKEN

Author: james-fossa

vendor_download.sh

@@ -11,6 +11,7 @@
 #
 
 set -e
+set -x
 
 if [ -z "$GITHUB_TOKEN" ]; then
   echo "Provide your GITHUB_TOKEN in the environment"
@@ -198,7 +199,7 @@ jq -c ".assets | map({url: .url, name: .name}) | map(select($FILTER)) | .[]" $FI
 done
 echo "Ficus download successful"
 
-rm $FICUS_RELEASE_JSON
+# rm $FICUS_RELEASE_JSON
 
 # Download latest release of Circe