Skip to content

Remove grit#927

Merged
edenhaus merged 1 commit into
devfrom
grit-remove
Apr 27, 2025
Merged

Remove grit#927
edenhaus merged 1 commit into
devfrom
grit-remove

Conversation

@edenhaus

Copy link
Copy Markdown
Member

No description provided.

@edenhaus edenhaus added the pr: bugfix PR, which fixes a bug label Apr 27, 2025
Copilot AI review requested due to automatic review settings April 27, 2025 15:53

Copilot AI 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.

Copilot wasn't able to review any files in this pull request.

Files not reviewed (1)
  • .grit/.gritmodules/github.com/getgrit/stdlib: Language not supported

@edenhaus edenhaus merged commit 67bfbde into dev Apr 27, 2025
6 checks passed
@edenhaus edenhaus deleted the grit-remove branch April 27, 2025 15:53
@codecov

codecov Bot commented Apr 27, 2025

Copy link
Copy Markdown

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 92.73%. Comparing base (8ed90f2) to head (08455b5).
Report is 2 commits behind head on dev.

✅ All tests successful. No failed tests found.

Additional details and impacted files
@@            Coverage Diff             @@
##              dev     #927      +/-   ##
==========================================
+ Coverage   92.57%   92.73%   +0.16%     
==========================================
  Files         122      123       +1     
  Lines        4671     4776     +105     
  Branches      292      304      +12     
==========================================
+ Hits         4324     4429     +105     
  Misses        285      285              
  Partials       62       62              

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

🚀 New features to boost your workflow:
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@codspeed-hq

codspeed-hq Bot commented Apr 27, 2025

Copy link
Copy Markdown

CodSpeed Performance Report

Merging #927 will not alter performance

Comparing grit-remove (08455b5) with dev (8ed90f2)

Summary

✅ 6 untouched benchmarks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: bugfix PR, which fixes a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants