WIP/RFC: Allow workers to have a user-given number identifier - #194

Draft

nickrobinson251 wants to merge 14 commits into

mainfrom

npr-worker-num-info

Commits on Oct 21, 2024

Print completion message when all tests are done
nickrobinson251
committed
c9af808
More debug logs
nickrobinson251
committed
0a70cef
Bump version
nickrobinson251
committed
d094db8
Log a message when each worker has completed tests
nickrobinson251
committed
0420a84
Fix import for `at-debugv`
nickrobinson251
committed
608994a
Debug log after `close(worker)`
nickrobinson251
committed
74c16c0
Use at-debug in workers.jl
nickrobinson251
committed
262f4e4
Add worker num to all worker restart messages
nickrobinson251
committed
3766e93
Allow workers to have a user-given number identifier
nickrobinson251
committed
5278957
format
nickrobinson251
committed
9851f96
fixup! format
nickrobinson251
committed
1e39245
fixup! Allow workers to have a user-given number identifier
nickrobinson251
committed
a8f38db
fixup! fixup! Allow workers to have a user-given number identifier
nickrobinson251
committed
edca086
fixup! fixup! fixup! Allow workers to have a user-given number identifier
nickrobinson251
committed
cc7f635