Merge pull request #66 from imandra-ai/eric/update-imandrax-installer-url

Update imandrax installer to point to gcloud bucket

Author: emeinhardt

.github/workflows/main.yml

@@ -46,7 +46,7 @@ jobs:
 
       - name: install imandrax
         run: |
-          sh -c "$(curl -fsSL https://raw.githubusercontent.com/imandra-ai/imandrax-api/refs/heads/main/scripts/install.sh)" -- -y
+          sh -c "$(curl -fsSL https://imandra.ai/get-imandrax.sh)" -- -y
           mkdir -p ~/.config/imandrax
           touch ~/.config/imandrax/api_key
           printf '%s' ${{ secrets.IU_API_KEY }} > ~/.config/imandrax/api_key