mrdudz 85fb6ba944 add check for +x flag

2022-07-21 03:22:52 +02:00

..

checks

add check for +x flag

2022-07-21 03:22:52 +02:00

workflows

rename the "check" target to "checkstyle".

2022-07-21 03:22:52 +02:00