Merge branch 'paper_merge' into 'main' Community guidelines, GitHub Actions workflow, linting See merge request tum-cps/pytupli!79
