Skip to content

Revert changes which broke reuse of workers#105

Merged
giordano merged 3 commits intomainfrom
mg/revert
Mar 1, 2026
Merged

Revert changes which broke reuse of workers#105
giordano merged 3 commits intomainfrom
mg/revert

Conversation

@giordano
Copy link
Collaborator

@giordano giordano commented Mar 1, 2026

CC @jishnub.

@giordano
Copy link
Collaborator Author

giordano commented Mar 1, 2026

I added a test to prevent this regression again. I verified that running this test on main (7f27702, but also on 16f47d4), it'd fail:

reuse of workers: Test Failed at /Users/mose/.julia/dev/ParallelTestRunner/test/runtests.jl:401
  Expression: ParallelTestRunner.ID_COUNTER[] == old_id_counter + njobs
   Evaluated: 30 == 25

@giordano giordano merged commit c8a7836 into main Mar 1, 2026
23 checks passed
@giordano giordano deleted the mg/revert branch March 1, 2026 16:32
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.

1 participant