Make sure to use unique identifiers for result summary folds; #116
Make sure to use unique identifiers for result summary folds; #116

fniephaus/filetreeCI,dalehenrich/smalltalkCI,hpi-swa/smalltalkCI,hpi-swa/filetreeCI,dalehenrich/smalltalkCI,hpi-swa/smalltalkCI,hpi-swa/filetreeCI,fniephaus/filetreeCI,fniephaus/filetreeCI,peteruhnak/smalltalkCI,peteruhnak/smalltalkCI,dalehenrich/smalltalkCI,peteruhnak/smalltalkCI,hpi-swa/filetreeCI