Closed soyacz closed 2 months ago
We may need to include results in github issues - thus we need an easy way to copy&paste result tables.
Idea is to add 'copy' button to each table.
We may need to include results in github issues - thus we need an easy way to copy&paste result tables.
Idea is to add 'copy' button to each table.