Merge branch 'master' of...

Merge branch 'master' of ssh://dgit.cs.uni-saarland.de:2222/np/2020/np-ss20-project-visualizer into master

src/pages/leaderboard/LeaderboardPage.tsx

@@ -375,7 +375,19 @@ const LeaderboardPage: React.FC<{}> = () => {
                                 <td>{ data.private && data.testResults && record.projectName ? <Fragment>
                                     <OverlayTrigger trigger="click" placement="bottom" rootClose={true} overlay={<Popover id={`details-popover-${record.projectName}`} className="leaderboard-details-popover">
                                         <Popover.Title>
-                                            { record.projectName }
+                                            { record.projectName }{' '}
+                                            <Button
+                                                variant="light"
+                                                size="sm"
+                                                onClick={() => {
+                                                    if (data.testResults && record.projectName) {
+                                                        const d = data.testResults[record.projectName]; 
+                                                        navigator.clipboard.writeText(JSON.stringify(d, null, 4));
+                                                    }
+                                                }}
+                                            >
+                                                📋
+                                            </Button>
                                         </Popover.Title>
                                         <Popover.Content>
                                             <pre>