Fix #391 (__TIME__ replacement might be empty depending on compiler…
#16
| Job | Run time |
|---|---|
| 1m 41s | |
| 1m 37s | |
| 2m 13s | |
| 1m 13s | |
| 6m 44s |
__TIME__ replacement might be empty depending on compiler…
#16
| Job | Run time |
|---|---|
| 1m 41s | |
| 1m 37s | |
| 2m 13s | |
| 1m 13s | |
| 6m 44s |