Skip to content

Fix linting in ci#90

Merged
tortmayr merged 1 commit intomainfrom tortmayr/ciJul 2, 2024

Commits

Commits on Jul 2, 2024