Greg King a0e0c789db Went back to using actions/checkout@v2. ...

(Direct cloning doesn't support pushing with a hidden token.)

I'm putting this aside, for now. A Personal Access Token must be made for the repository. "git push" does a dry-run, so that the workflow will succeed.

2022-06-17 18:42:12 -04: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

Went back to using actions/checkout@v2.

2022-06-17 18:42:12 -04:00