Greg King 86d68bea8c Experiment: checkout the second repo first. ...

Maybe that will give it the github.token that it needs.

2022-06-17 08:06:21 -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

Experiment: checkout the second repo first.

2022-06-17 08:06:21 -04:00