fix workflow

.github/workflows/test.yaml

@@ -22,12 +22,21 @@ 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
+        echo "$HOME/.elan/bin" >> "${GITHUB_PATH}"
+        which lake || exit 1
+        
     - 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,21 +46,25 @@ 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
         pip install poetry
         poetry build
+        which lake || exit 1
         poetry install
 
     - name: Run Tests
+      shell: bash
       run: |
         source $HOME/miniconda/etc/profile.d/conda.sh
         conda activate test-env