Skip to content

library.properties needs to get updated before tagging #1642

@egnor

Description

@egnor

Problem Description

In the v0.9.8 version of the repo, library.properties still says 0.9.6:

It's updated at HEAD, but, the Arduino library indexer wants library.properties to update in each tagged version, otherwise it doesn't know the right version number and skips it:

2024/08/02 19:37:58 Checking out tag: v0.9.8
2024/08/02 19:37:59 Release audio-tools:0.9.6 already loaded, skipping
2024/08/02 19:37:59 Arduino Lint has suggestions for possible improvements:
Click to expand Arduino Lint report

(By the way, this applies to many of the other associated libraries as well. Not sure if there are stock release scripts associated with all of them that could get updated.) Obviously I can check out the library myself from github, but that's fussy and doesn't work well with hermetic reproducible builds.

Device Description

Any

Sketch

N/A

Other Steps to Reproduce

No response

What is your development environment

Particularly applicable to the Arduino IDE or arduino-cli, as those use the Arduino library registry by default. (Platformio has its own registry, and I'm less sure of the semantics there.)

I have checked existing issues, discussions and online documentation

  • I confirm I have checked existing issues, discussions and online documentation

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions