dedockerize test.yml (to do the test matrix on every OS)

.github/workflows/test.yml

@@ -27,16 +27,21 @@ jobs:
         with:
           submodules: false
 
-      - name: Login to GitHub Container Registry
-        uses: docker/login-action@v3
+      - name: Install foundry
+        uses: foundry-rs/foundry-toolchain@v1
+
+      - name: Set up python ${{ matrix.python-version }}
+        uses: actions/setup-python@v5
         with:
-          registry: ghcr.io
-          username: ${{ github.actor }}
-          password: ${{ secrets.GITHUB_TOKEN }}
+          python-version: ${{ matrix.python-version }}
 
-      - name: Build image
+      - name: Install dependencies
         run: |
-          docker build -t halmos . --file packages/halmos/Dockerfile
+          python -m pip install --upgrade pip
+          python -m pip install -r requirements-dev.txt
+
+      - name: Install halmos
+        run: python -m pip install -e .
 
       - name: Run pytest
-        run: docker run -v .:/workspace --entrypoint pytest halmos -n 4 -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-v -st ${{ matrix.parallel }} --storage-layout ${{ matrix.storage-layout }} --solver-timeout-assertion 0"
+        run: pytest -n 4 -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-v -st ${{ matrix.parallel }} --storage-layout ${{ matrix.storage-layout }} --solver-timeout-assertion 0"