Build magma without conda and push tarball #1308

	name: Lint

	on:
	push:
	branches:
	- main
	pull_request:

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.number \|\| github.sha }}-${{ github.event_name == 'workflow_dispatch' }}
	cancel-in-progress: true

	jobs:
	lintrunner:
	name: lintrunner

	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v3
	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.11"
	- name: Install Lintrunner
	run: \|
	pip install lintrunner
	lintrunner init
	- name: Run lintrunner on all files - Linux
	run: \|
	set +e
	if ! lintrunner -v --force-color --all-files --tee-json=lint.json; then
	echo ""
	echo -e "\e[1m\e[36mYou can reproduce these results locally by using \`lintrunner -m main\`.\e[0m"
	exit 1
	fi

Provide feedback