Remove outdated tests

.github/workflows/ci.yml

@@ -41,40 +41,34 @@ jobs:
           path: .juvix-build
           restore-keys: |
             juvix-cache-
-
       - name: Install Python
         uses: actions/[email protected]
         with:
           python-version: ${{ env.PYTHON_VERSION }}
-
       - name: Install Poetry
         uses: abatilo/[email protected]
         with:
           poetry-version: ${{ env.POETRY_VERSION }}
-
       - name: Cache .cache
         uses: actions/[email protected]
         with:
           key: mkdocs-material-${{ env.cache_id }}
           path: .cache
           restore-keys: |
             mkdocs-material-
-
       - name: Install Linux dependencies
         run: sudo apt-get install -y libcairo2-dev libfreetype6-dev libffi-dev libjpeg-dev libpng-dev libz-dev pngquant graphviz
-
       - name: Install Python dependencies
         run: poetry install
-
+      - name: Run test
+        run: poetry run pytest
       - name: Create MkDocs Project
         run: |
           juvix-mkdocs new -f -n --no-run-server --no-open --project-name my-juvix-project
-
       - name: Build MkDocs Project
         run: juvix-mkdocs build -p my-juvix-project
         env:
           SITE_URL: https://anoma.github.io/juvix-mkdocs
-
       - if: success()
         uses: JamesIves/[email protected]
         with: