Test conda error #6

	name: Python Package with Conda from Miniconda Script

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	jobs:
	build:
	runs-on: ubuntu-latest
	container:
	image: debian:11

	strategy:
	matrix:
	python-version: ["3.10"]

	steps:
	- name: Update apt and install dependencies
	run: \|
	apt-get update && apt-get install -y wget bash curl git build-essential python3-pip
	- uses: actions/checkout@v3
	with:
	submodules: recursive
	- 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 "export PATH=$HOME/.elan/bin:$PATH" >> $HOME/.bashrc
	source $HOME/.bashrc
	which lake \|\| exit 1

	- 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
	echo "$HOME/miniconda/bin" >> $GITHUB_PATH
	source $HOME/miniconda/etc/profile.d/conda.sh
	conda init bash
	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
	poetry install

	- name: Run Tests
	shell: bash
	run: \|
	source $HOME/miniconda/etc/profile.d/conda.sh
	conda activate test-env
	poetry run pytest -s tests/

Provide feedback