mrdudz b166dc4261 hopefully thats it

2022-11-18 18:19:31 +01:00

..

build-on-pull-request.yml

rename the "check" target to "checkstyle".

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

snapshot-on-push-master.yml

hopefully thats it

2022-11-18 18:19:31 +01:00