[typetools/checker-framework] 409b37: Use `providers.gradleProperty()` (#7801)

[mernstcheckerframework]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 409b37aba39ddde146762a689cac314d60f4df29
https://github.com/typetools/checker-framework/commit/409b37aba39ddde146762a689cac314d60f4df29
Author: mernstcheckerframework <61880733+mernst...@users.noreply.github.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M build.gradle
M gradle-mvn-push.gradle

Log Message:
-----------
Use `providers.gradleProperty()` (#7801)

Co-authored-by: Michael Ernst <mer...@cs.washington.edu>



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications