mrdudz 0f291aee86 rename the actual checkstyle target too :)

2022-05-17 14:39:35 +02:00

..

checks

rename the actual checkstyle target too :)

2022-05-17 14:39:35 +02:00

workflows

rename the "check" target to "checkstyle".

2022-05-17 14:30:41 +02:00