Fix formatting of first command in add_custom_target
(#24)
#155
Job | Run time |
---|---|
47s | |
43s | |
42s | |
44s | |
44s | |
57s | |
1m 51s | |
43s | |
1m 14s | |
8m 25s |
add_custom_target
(#24)
#155
Job | Run time |
---|---|
47s | |
43s | |
42s | |
44s | |
44s | |
57s | |
1m 51s | |
43s | |
1m 14s | |
8m 25s |