Skip to content

Conversation

pull[bot]
Copy link

@pull pull bot commented Jul 9, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.2)

Can you help keep this open source service alive? 💖 Please sponsor : )

* feat(docs_version): Update docs in update-version script * fix(logging): Fix log message * fix(idf_version): Add error if IDF version is not found
@pull pull bot locked and limited conversation to collaborators Jul 9, 2025
@pull pull bot added the ⤵️ pull label Jul 9, 2025
@pull pull bot merged commit 87b718a into benjivesterby:master Jul 9, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

1 participant