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

Calculate new run_id/counter from run_id/counter #5329

Merged
merged 3 commits into from
Aug 24, 2023

Conversation

jenshnielsen
Copy link
Collaborator

This fixes #5328 by ensuring that new runs are inserted with a captured counter/runid that matches the assigned run_id / counter

@codecov
Copy link

codecov bot commented Aug 24, 2023

Codecov Report

Merging #5329 (3628f2b) into master (761f244) will decrease coverage by 0.04%.
The diff coverage is 73.33%.

@@            Coverage Diff             @@
##           master    #5329      +/-   ##
==========================================
- Coverage   67.59%   67.56%   -0.04%     
==========================================
  Files         360      360              
  Lines       30012    30021       +9     
==========================================
- Hits        20288    20284       -4     
- Misses       9724     9737      +13     

@jenshnielsen jenshnielsen enabled auto-merge August 24, 2023 13:02
@jenshnielsen jenshnielsen added this pull request to the merge queue Aug 24, 2023
Merged via the queue into microsoft:master with commit 5251fbb Aug 24, 2023
@jenshnielsen jenshnielsen deleted the run_id_fix branch August 25, 2023 06:30
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.

Captured_run_id is incorrect if run has been inserted
2 participants