chore: Update Project configuration

[ArthurKun21]

Pull Request Type

• [X] Chore
• [ ] Bugfix
• [ ] Feature Implementation
• [ ] Documentation
• [ ] Other

Related issue

Description

• Update Java from 11 to 17

Screenshots

Testing

Additional context

This pull request introduces several significant updates to the project, including upgrading the Java version, restructuring dependency management, and cleaning up the .gitignore files. Additionally, it updates Gradle build scripts to align with modern practices and enhances repository management in settings.gradle.kts.

Java Version Upgrade:

• Updated sourceCompatibility and targetCompatibility from Java 11 to Java 17 across multiple modules (app/build.gradle.kts, libautomata/build.gradle.kts, prefs/build.gradle.kts, scripts/build.gradle.kts). [1] [2] [3] [4]

Dependency and Plugin Management:

• Refactored gradle/libs.versions.toml to simplify version references by removing redundant _version suffixes and aligning dependency keys with modern conventions. [1] [2]
• Added repository and dependency resolution management in settings.gradle.kts to enforce centralized repository definitions and restrict project-level repositories.

Build Script Enhancements:

• Moved Kotlin compiler options for experimental Compose APIs from android.kotlinOptions to a tasks block in app/build.gradle.kts for better organization.

Cleanup:

• Removed /build entries from .gitignore files across multiple modules (app, libautomata, prefs, scripts) to prevent redundant ignores. [1] [2]

These changes improve the project's compatibility with Java 17, streamline dependency management, and clean up unnecessary configurations.

[github-actions[bot]]

Build 424

Download the latest APK for testing here

[!NOTE] You need a GitHub account to download the APK.

This URL is valid as long as the artifact has not expired yet.