fix workflow

.github/workflows/test.yaml

@@ -22,12 +22,19 @@ jobs:
     - name: Update apt and install dependencies
       run: |
         apt-get update && apt-get install -y wget bash curl git build-essential python3-pip
+    
+    - name: install lean
+      shell: bash
+      run: |
+        curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh > elan-init.sh
+        bash elan-init.sh -y
 
     - uses: actions/checkout@v3
       with:
         submodules: recursive
 
     - name: Install Miniconda
+      shell: bash
       run: |
         wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh -O miniconda.sh
         bash miniconda.sh -b -p $HOME/miniconda
@@ -37,13 +44,15 @@ jobs:
         conda config --set always_yes yes --set changeps1 no
 
     - name: Create and Activate Conda Environment
+      shell: bash
       run: |
         source $HOME/miniconda/etc/profile.d/conda.sh
         conda create -n test-env python=${{ matrix.python-version }}
         conda activate test-env
         conda install pip
 
     - name: Install Dependencies with Poetry
+      shell: bash
       run: |
         source $HOME/miniconda/etc/profile.d/conda.sh
         conda activate test-env
@@ -52,6 +61,7 @@ jobs:
         poetry install
 
     - name: Run Tests
+      shell: bash
       run: |
         source $HOME/miniconda/etc/profile.d/conda.sh
         conda activate test-env

build.py

@@ -7,7 +7,9 @@
 # Define paths for Pantograph source and Pantograph Python interface
 PATH_PANTOGRAPH = Path("./src")
 PATH_PY = Path("./pantograph")
-with subprocess.Popen(["lake", "build", "repl"], cwd=PATH_PANTOGRAPH) as p:
+lake_path = os.path.join(os.environ["HOME"], ".elan/bin/lake")
+
+with subprocess.Popen([lake_path, "build", "repl"], cwd=PATH_PANTOGRAPH) as p:
     p.wait()
 
 path_executable = PATH_PY / "pantograph-repl"