Skip to content

Merge pull request #20 from maxkratz/feature/update-github-ci-actions #9

Merge pull request #20 from maxkratz/feature/update-github-ci-actions

Merge pull request #20 from maxkratz/feature/update-github-ci-actions #9

lint

succeeded Mar 19, 2024 in 1m 1s