[libretiny] Report version 1.7.0 for 'dev' and 'latest' (#7415)

This commit is contained in:
David Woodhouse 2024-09-09 06:05:19 +01:00 committed by GitHub
parent 32995a352b
commit 7a93dde5d4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -172,9 +172,10 @@ def _notify_old_style(config):
# NOTE: Keep this in mind when updating the recommended version:
# * For all constants below, update platformio.ini (in this repo)
# The dev and latest branches will be at *least* this version, which is what matters.
ARDUINO_VERSIONS = {
"dev": (cv.Version(0, 0, 0), "https://github.com/libretiny-eu/libretiny.git"),
"latest": (cv.Version(0, 0, 0), None),
"dev": (cv.Version(1, 7, 0), "https://github.com/libretiny-eu/libretiny.git"),
"latest": (cv.Version(1, 7, 0), "libretiny"),
"recommended": (cv.Version(1, 5, 1), None),
}