Hide stacktrace for `DEBUG=FALSE` and `Proof.do_tict()` minor fixup #1342

	name: checks

	on: [push, pull_request]

	jobs:
	formatting:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: ["3.10.4"]
	poetry-version: ["1.5.1"]
	steps:
	- uses: actions/checkout@v2
	- name: Set up Poetry ${{ matrix.poetry-version }}
	uses: abatilo/actions-poetry@v2
	with:
	poetry-version: ${{ matrix.poetry-version }}
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}
	cache: "poetry"
	- name: Install packages
	run: poetry install
	- name: Check black
	run: make black-check
	mypy:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: ["3.10.4"]
	poetry-version: ["1.5.1"]
	steps:
	- uses: actions/checkout@v2
	- name: Set up Poetry ${{ matrix.poetry-version }}
	uses: abatilo/actions-poetry@v2
	with:
	poetry-version: ${{ matrix.poetry-version }}
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}
	cache: "poetry"
	- name: Install packages
	run: poetry install
	- name: Setup mypy
	run: yes \| poetry run mypy cashu --install-types \|\| true
	- name: Run mypy
	run: poetry run mypy cashu --ignore-missing
	ruff:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: chartboost/ruff-action@v1

Provide feedback