Use Inravina pretty printer#1406

Draft

yitzchak wants to merge 7 commits intomainfrom

Commits on Nov 4, 2024

Bump conda-incubator/setup-miniconda in /.github/workflows
dependabot[bot]
authored

Commits on Dec 2, 2024

Bump docker/build-push-action from 6.9.0 to 6.10.0 in /.github/workflows
dependabot[bot]
authored

Commits on Dec 17, 2024

Use Inravina pretty printer
yitzchak
committed