element-android-Github/tools/lint
Benoit Marty 19500a8cd9 Upgrade a few dependencies and update the codebase
Use fully qualified R classes
Fix or ignore deprecation
Update github actions and ensure JDK 17 is used
Add group for paparazzi
Fixes Lint issues
Fix Jacoco configuration
2024-07-15 18:12:20 +02:00
..
lint.xml Upgrade a few dependencies and update the codebase 2024-07-15 18:12:20 +02:00