Skip to content

use java.rtx.pub for java metadata#929

Merged
jdx merged 1 commit intomainfrom
java-metadata
Oct 5, 2023
Merged

use java.rtx.pub for java metadata#929
jdx merged 1 commit intomainfrom
java-metadata

Conversation

@jdx
Copy link
Copy Markdown
Owner

@jdx jdx commented Oct 4, 2023

No description provided.

@jdx jdx linked an issue Oct 4, 2023 that may be closed by this pull request
@jdx jdx enabled auto-merge (squash) October 4, 2023 23:57
@codecov
Copy link
Copy Markdown

codecov bot commented Oct 5, 2023

Codecov Report

All modified lines are covered by tests ✅

Comparison is base (1f8b65d) 83.76% compared to head (b749d1a) 85.30%.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #929      +/-   ##
==========================================
+ Coverage   83.76%   85.30%   +1.54%     
==========================================
  Files         132      132              
  Lines       11596    11595       -1     
==========================================
+ Hits         9713     9891     +178     
+ Misses       1883     1704     -179     
Files Coverage Δ
src/plugins/core/java.rs 83.96% <100.00%> (-0.07%) ⬇️

... and 25 files with indirect coverage changes

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

@jdx jdx merged commit 09516f4 into main Oct 5, 2023
@jdx jdx deleted the java-metadata branch October 5, 2023 00:10
jdx pushed a commit that referenced this pull request Apr 9, 2024
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.

rtx executable is super slow on my system.

1 participant