Skip to content

0.7.1
Compare
Choose a tag to compare
@github-actions github-actions released this 15 Jul 14:58
· 125 commits to main since this release
0.7.1
This tag was signed with the committer’s verified signature.
ArduinoBot Arduino Bot
GPG key ID: 95FA6F43E21188C4
Verified
Learn about vigilant mode.
25afeae

Changelog

4c974dc Added flag to disable real-time PublishDiagnostics push

Assets 12
Loading