Skip to content

Make Paratext project extraction case-insensitive - #467

Merged
Enkidu93 merged 1 commit into
masterfrom
case-insensitive-paratext-project-extraction
Aug 4, 2026
Merged

Make Paratext project extraction case-insensitive#467
Enkidu93 merged 1 commit into
masterfrom
case-insensitive-paratext-project-extraction

Conversation

@Enkidu93

@Enkidu93 Enkidu93 commented Aug 4, 2026

Copy link
Copy Markdown
Collaborator

Also:

  • Add test

This change is Reviewable

@Enkidu93
Enkidu93 requested a review from ddaspit August 4, 2026 17:24
@codecov-commenter

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 73.33%. Comparing base (6304028) to head (02d15b6).

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #467   +/-   ##
=======================================
  Coverage   73.33%   73.33%           
=======================================
  Files         445      445           
  Lines       37313    37317    +4     
  Branches     5118     5118           
=======================================
+ Hits        27363    27367    +4     
  Misses       8825     8825           
  Partials     1125     1125           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@ddaspit ddaspit left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

@ddaspit reviewed 2 files and all commit messages, and made 1 comment.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on Enkidu93).

@Enkidu93
Enkidu93 merged commit dac2d89 into master Aug 4, 2026
4 checks passed
@Enkidu93
Enkidu93 deleted the case-insensitive-paratext-project-extraction branch August 4, 2026 22:05
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.

3 participants