This website requires JavaScript.
Explore
Discord Server
Help
Sign in
actions
/
lint
Watch
1
Star
0
Fork
You've already forked lint
0
mirror of
https://github.com/super-linter/super-linter.git
synced
2024-12-23 05:02:15 -05:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
Actions
1
a7d84ea6c8
lint
/
.github
/
linters
/
.lintr
2 lines
59 B
Text
Raw
Normal View
History
Unescape
Escape
Update google java format and JDK (#4848) * Update google java format and JDK * update to use non-deprecated function * update jdk to v18 * update to jdk v18 * try v17 jdk * try v17 jdk
2023-11-11 01:46:25 -05:00
linters: linters_with_defaults(object_usage_linter = NULL)
Reference in a new issue
Copy permalink