Search Gradle plugins

Project generator based on live archetypes (example projects) & interactive 'gradle.properties' file generator.

• #archetype
• #template
• #properties
• #password-encryption
• #maven-archetype
• #gui

Use Github Packages repositories with credentials from your hub config

• #repository
• #github
• #github-packages
• #dependency
• #publishing
• #maven

This plugin offers tight integration of the Dafny verification-aware programming language with Java: automatically verifying Dafny source code and compiling it to Java source code, which the Java plugin will then build together with any hand-written Java in the project. It also provides a robust approach to distributing and managing Dafny dependencies through Gradle-supported repositories such as Maven Central.

• #dafny
• #verification
• #building

Adds a remote build cache that is configured via environment variables: - GRADLE_REMOTE_BUILD_CACHE_URL: the base URL for the remote build cache - PUSH_TO_REMOTE_BUILD_CACHE: boolean value whether to push to the remote build cache or to use it only for pulling. (optional, default: false) - MAVEN_USER: the username for the maven repository (optional) - MAVEN_PASSWORD: the password for the maven repository (optional) No remote cache is added if no GRADLE_REMOTE_BUILD_CACHE_URL is set.

• #remote build cache