Skip to content

Conversation

@cderv
Copy link
Collaborator

@cderv cderv commented Jun 12, 2024

This follows #9749 fix

We missed a spot which broke the timing of tests since then.

This should fix it. Let's see !

I'll run the timing on this PR too

@cderv
Copy link
Collaborator Author

cderv commented Jun 12, 2024

@cderv
Copy link
Collaborator Author

cderv commented Jun 12, 2024

All good ! So merging.

We should have a new file with test timing soon;

@cderv cderv merged commit c001669 into main Jun 12, 2024
@cderv cderv deleted the fix/test-timing branch June 12, 2024 19:57
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