Skip to content

Calculate new run_id/counter from run_id/counter#5329

Merged
jenshnielsen merged 3 commits intomicrosoft:masterfrom
jenshnielsen:run_id_fix
Aug 24, 2023
Merged

Calculate new run_id/counter from run_id/counter#5329
jenshnielsen merged 3 commits intomicrosoft:masterfrom
jenshnielsen:run_id_fix

Conversation

@jenshnielsen
Copy link
Copy Markdown
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
Copy Markdown

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