Skip to content

Replace uuid in live results with tool name (resolves #20).

hmueller requested to merge tool-name-in-live-results into develop

Replaces UUIDs with actual module names in live results (fixes #20).

Merge request reports