epee: string_tools: remove dot from get_extension [RELEASE] #4374
| Job | Run time |
|---|---|
| 30m 48s | |
| 26m 53s | |
| 27m 33s | |
| 31m 10s | |
| 26m 46s | |
| 33m 24s | |
| 26m 48s | |
| 34m 38s | |
| 33m 57s | |
| 23m 34s | |
| 4h 55m 31s |
| Job | Run time |
|---|---|
| 30m 48s | |
| 26m 53s | |
| 27m 33s | |
| 31m 10s | |
| 26m 46s | |
| 33m 24s | |
| 26m 48s | |
| 34m 38s | |
| 33m 57s | |
| 23m 34s | |
| 4h 55m 31s |