Skip to content

zsh: indexed placeholders#1171

Merged
rsteube merged 1 commit intomasterfrom
zsh-placeholder
Oct 20, 2025
Merged

zsh: indexed placeholders#1171
rsteube merged 1 commit intomasterfrom
zsh-placeholder

Conversation

@rsteube
Copy link
Member

@rsteube rsteube commented Oct 20, 2025

No description provided.

@coveralls
Copy link

Pull Request Test Coverage Report for Build 18650818392

Details

  • 7 of 7 (100.0%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 58.427%

Totals Coverage Status
Change from base Build 18650196816: 0.0%
Covered Lines: 3269
Relevant Lines: 5595

💛 - Coveralls

@rsteube rsteube merged commit 3959122 into master Oct 20, 2025
37 checks passed
@rsteube rsteube deleted the zsh-placeholder branch October 20, 2025 11:45
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