[wpilibj] Store long preferences as integers #8356
lint-format.yml
on: pull_request
wpiformat
1m 25s
clang-tidy
2m 26s
Java format
7m 8s
Documentation
1m 59s