Skip to content
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

Merge to master from develop for 0.6.2 #494

Merged
merged 2 commits into from
Feb 16, 2024
Merged

Merge to master from develop for 0.6.2 #494

merged 2 commits into from
Feb 16, 2024

Conversation

ashao
Copy link
Collaborator

@ashao ashao commented Feb 16, 2024

No description provided.

al-rigazzi and others added 2 commits February 16, 2024 01:10
This PR brings develop up to date with master after releasing v0.6.1.

[ committed by @al-rigazzi ]
[ reviewed by @MattToast ]
A critical performance concern was identified and addressed in
SmartRedis. A patch fix was deployed, and SmartSim was updated to ensure
users do not inadvertently pull the unpatched version of SmartRedis.

[ committed by @MattToast ]
[ reviewed by @ashao ]
Copy link

codecov bot commented Feb 16, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (8b742ec) 90.72% compared to head (5444927) 90.85%.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #494      +/-   ##
==========================================
+ Coverage   90.72%   90.85%   +0.13%     
==========================================
  Files          60       60              
  Lines        3826     3826              
==========================================
+ Hits         3471     3476       +5     
+ Misses        355      350       -5     

see 1 file with indirect coverage changes

@ashao ashao changed the title Merge from master to develop for 0.6.2 Merge to master from develop for 0.6.2 Feb 16, 2024
@ashao ashao merged commit 265916c into master Feb 16, 2024
69 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants