Skip to content
Snippets Groups Projects
Commit 10eafc0c authored by Gerardo Ganis's avatar Gerardo Ganis
Browse files

Additional fixes to run TProofBench on a cluster with dynamic worker setup

parent 4ae36db3
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment