Skip to content

Conversation

MichaelChirico
Copy link
Collaborator

@MichaelChirico MichaelChirico commented Sep 12, 2023

Companion to #2145.

Base automatically changed from mv-Lint to main September 12, 2023 06:55
@MichaelChirico
Copy link
Collaborator Author

File names must not differ just by case to be usable on all R platforms.

I see... that's somewhat annoying.

@codecov-commenter
Copy link

Codecov Report

Merging #2146 (25c2866) into main (a93d597) will not change coverage.
The diff coverage is n/a.

❗ Current head 25c2866 differs from pull request most recent head 1d22783. Consider uploading reports for the commit 1d22783 to get more accurate results

@@           Coverage Diff           @@
##             main    #2146   +/-   ##
=======================================
  Coverage   99.64%   99.64%           
=======================================
  Files         112      112           
  Lines        5110     5110           
=======================================
  Hits         5092     5092           
  Misses         18       18           

@MichaelChirico MichaelChirico merged commit 6e52b41 into main Sep 12, 2023
@MichaelChirico MichaelChirico deleted the mv-lint branch September 12, 2023 17:19
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