Skip to content

Allow case-insensitive file extensions through file select dropdown #1094

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Apr 4, 2025

Conversation

ml-evs
Copy link
Member

@ml-evs ml-evs commented Apr 4, 2025

Closes #1090 and closes #1036.

Copy link

codecov bot commented Apr 4, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 70.18%. Comparing base (581a9d2) to head (576b210).
Report is 122 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1094   +/-   ##
=======================================
  Coverage   70.18%   70.18%           
=======================================
  Files          63       63           
  Lines        4119     4119           
=======================================
  Hits         2891     2891           
  Misses       1228     1228           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@ml-evs ml-evs added webapp For issues/PRs pertaining to the web interface usability labels Apr 4, 2025
Copy link

cypress bot commented Apr 4, 2025

datalab    Run #3026

Run Properties:  status check passed Passed #3026  •  git commit bbdea06518 ℹ️: Merge 13e3fee45cd7f714d73f63e7b14631f1ed4b7d0d into 673a7fb50e2659db3dbb3706e343...
Project datalab
Branch Review ml-evs/case-insensitive-filenames
Run status status check passed Passed #3026
Run duration 07m 18s
Commit git commit bbdea06518 ℹ️: Merge 13e3fee45cd7f714d73f63e7b14631f1ed4b7d0d into 673a7fb50e2659db3dbb3706e343...
Committer Matthew Evans
View all properties for this run ↗︎

Test results
Tests that failed  Failures 0
Tests that were flaky  Flaky 0
Tests that did not run due to a developer annotating a test with .skip  Pending 0
Tests that did not run due to a failure in a mocha hook  Skipped 0
Tests that passed  Passing 471
View all changes introduced in this branch ↗︎

@ml-evs ml-evs force-pushed the ml-evs/case-insensitive-filenames branch 6 times, most recently from 8131584 to 13e3fee Compare April 4, 2025 15:30
- Allow upper case file extensions in media block
@ml-evs ml-evs force-pushed the ml-evs/case-insensitive-filenames branch from 13e3fee to 576b210 Compare April 4, 2025 18:15
@ml-evs
Copy link
Member Author

ml-evs commented Apr 4, 2025

Already reviewed by @BenjaminCharmes offline, so going to merge

@ml-evs ml-evs merged commit 511eb21 into main Apr 4, 2025
8 of 9 checks passed
@ml-evs ml-evs deleted the ml-evs/case-insensitive-filenames branch April 4, 2025 18:16
BenjaminCharmes pushed a commit that referenced this pull request Apr 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
usability webapp For issues/PRs pertaining to the web interface
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Case Sensitive File Extensions File extensions in uppercase not displayed in FileSelectDropdown
1 participant