Skip to content

feat: update installer to v13#63

Merged
daniel-mohedano merged 1 commit intomainfrom
daniel.mohedano/installer-v13
Apr 9, 2026
Merged

feat: update installer to v13#63
daniel-mohedano merged 1 commit intomainfrom
daniel.mohedano/installer-v13

Conversation

@daniel-mohedano
Copy link
Copy Markdown
Contributor

What does this PR do?

  • Updates installer to version 13
    • Includes a new python-coverage-version input to override the version pinned in the installation script

Motivation

Additional Notes

Possible Drawbacks / Trade-offs

Describe how to test/QA your changes

@daniel-mohedano daniel-mohedano marked this pull request as ready for review April 9, 2026 12:36
@daniel-mohedano daniel-mohedano requested a review from a team as a code owner April 9, 2026 12:37
@daniel-mohedano daniel-mohedano merged commit ef8406b into main Apr 9, 2026
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants