Remove redundant condition in builders#6398

Merged

albertvillanova merged 2 commits intomainfrom remove-redundant-num-proc

Nov 14, 2023

+4-4

Commits on Nov 10, 2023

Remove redundant condition
albertvillanova
committed

Commits on Nov 14, 2023

Merge remote-tracking branch 'upstream/main' into remove-redundant-num-proc
albertvillanova
committed