Skip to content
CI at GitHub

checkstyle.xml: remove a default property #522

Sign in to view logs

checkstyle.xml: remove a default property

checkstyle.xml: remove a default property #522

Triggered via push October 22, 2025 05:33
@stephengoldstephengold
pushed 88c1e21
master
Status Success
Total duration 1m 44s
Artifacts 2

push.yml

on: push
Java17-Linux
1m 13s
Java17-Linux
Java25-Windows
1m 40s
Java25-Windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
linux build Expired
52.3 MB
sha256:3eac7d26438da19dc6cc4d839f58afecda95366b7d04b2c7bf5fceb5d8df6f3d
windows build Expired
52.3 MB
sha256:5fb6df6b9f4a7f3702615931f4f651ad6287aec3c4fc5ef15244f95067b82b4d