Greg King 4c74d4b851 Trying a verbose Git push. ...

If I'm lucky, it will tell me more.

2022-07-21 03:24:17 +02:00

..

build-on-pull-request.yml

rename the "check" target to "checkstyle".

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

snapshot-on-push-master.yml

Trying a verbose Git push.

2022-07-21 03:24:17 +02:00