Use providers.gradleProperty()#7801

smillst merged 4 commits into

typetools:mastertypetools/checker-framework:masterfrom

mernst:gradle-providers-get-propertymernst/checker-framework:gradle-providers-get-propertyCopy head branch name to clipboard