checkstyle.xml: tweak name formats #284

Sign in to view logs

Triggered via push August 28, 2023 20:07

stephengold

master

Status Success

Total duration 1m 55s

Artifacts –

push.yml

on: push