Skip to content
Snippets Groups Projects
Commit 76b1900d authored by Leo Gordon's avatar Leo Gordon
Browse files

make num_running_workers updatable by triggers + better updates during worker check-in

parent 2d5ff61c
No related branches found
No related tags found
No related merge requests found
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment