Skip to content

Review pinned dependencies#285

Merged
JosePizarro3 merged 1 commit into
mainfrom
275-review-pinned-dependencies
May 13, 2026
Merged

Review pinned dependencies#285
JosePizarro3 merged 1 commit into
mainfrom
275-review-pinned-dependencies

Conversation

@JosePizarro3
Copy link
Copy Markdown
Member

@CagtayFabry for your information

@JosePizarro3 JosePizarro3 added pkg Maintenance of the released package dependencies Fixing dependencies issues labels May 13, 2026
@JosePizarro3 JosePizarro3 linked an issue May 13, 2026 that may be closed by this pull request
@coveralls
Copy link
Copy Markdown

Coverage Report for CI Build 25793830271

Coverage remained the same at 0.0%

Details

  • Coverage remained the same as the base build.
  • Patch coverage: No coverable lines changed in this PR.
  • No coverage regressions found.

Uncovered Changes

No uncovered changes found.

Coverage Regressions

No coverage regressions found.


Coverage Stats

Coverage Status
Relevant Lines: 0
Covered Lines: 0
Line Coverage: NaN%
Coverage Strength: 0.0 hits per line

💛 - Coveralls

@JosePizarro3 JosePizarro3 merged commit 7e909ce into main May 13, 2026
6 checks passed
@JosePizarro3 JosePizarro3 deleted the 275-review-pinned-dependencies branch May 13, 2026 10:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Fixing dependencies issues pkg Maintenance of the released package

Projects

None yet

Development

Successfully merging this pull request may close these issues.

review pinned dependencies

2 participants