move to github actions / require google java format for changed files#988
Merged
zeitlinger merged 4 commits intomainfrom Oct 1, 2024
Merged
move to github actions / require google java format for changed files#988zeitlinger merged 4 commits intomainfrom
zeitlinger merged 4 commits intomainfrom