Skip to content

bump: rust 1.73#541

Merged
Wodann merged 3 commits intomun-lang:mainfrom
baszalmstra:bump/rust_1_74
Dec 19, 2023
Merged

bump: rust 1.73#541
Wodann merged 3 commits intomun-lang:mainfrom
baszalmstra:bump/rust_1_74

Conversation

@baszalmstra
Copy link
Copy Markdown
Collaborator

@baszalmstra baszalmstra commented Dec 19, 2023

Bump Rust to 1.73 and fixes all clippy warnings and errors.

@codecov
Copy link
Copy Markdown

codecov bot commented Dec 19, 2023

Codecov Report

Attention: 16 lines in your changes are missing coverage. Please review.

Comparison is base (ac4b4b5) 87.31% compared to head (1bf607d) 87.23%.

❗ Current head 1bf607d differs from pull request most recent head 897ae25. Consider uploading reports for the commit 897ae25 to get more accurate results

Files Patch % Lines
crates/mun_memory/src/gc/mark_sweep.rs 50.00% 6 Missing ⚠️
crates/mun_codegen/src/value/float_value.rs 0.00% 2 Missing ⚠️
crates/mun_codegen/src/value/mod.rs 0.00% 1 Missing ⚠️
crates/mun_codegen/src/value/pointer_value.rs 66.66% 1 Missing ⚠️
crates/mun_hir/src/arena.rs 0.00% 1 Missing ⚠️
crates/mun_hir/src/ids.rs 50.00% 1 Missing ⚠️
crates/mun_hir/src/item_tree.rs 0.00% 1 Missing ⚠️
crates/mun_language_server/src/state/workspace.rs 0.00% 1 Missing ⚠️
crates/mun_runtime/src/lib.rs 0.00% 1 Missing ⚠️
crates/mun_skeptic/src/lib.rs 0.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #541      +/-   ##
==========================================
- Coverage   87.31%   87.23%   -0.09%     
==========================================
  Files         275      269       -6     
  Lines       31182    31177       -5     
==========================================
- Hits        27227    27197      -30     
- Misses       3955     3980      +25     

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

@Wodann Wodann merged commit b14c0d0 into mun-lang:main Dec 19, 2023
@Wodann Wodann added this to the Mun v0.5.0 milestone Dec 28, 2023
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.

2 participants