Skip to content

remove styleCI integration in favor of Github Actions and linters#21

Merged
WengerK merged 1 commit intodevfrom feature/remove-styleciJun 27, 2024