add comment specifying edgecase of server function prefixes #1727
| Job | Run time |
|---|---|
| 8s | |
| 2m 59s | |
| 2m 57s | |
| 2m 55s | |
| 2m 11s | |
| 2m 7s | |
| 1m 11s | |
| 2m 2s | |
| 47s | |
| 1m 2s | |
| 16s | |
| 13s | |
| 11s | |
| 9s | |
| 1s | |
| 1s | |
| 19m 10s |
| Job | Run time |
|---|---|
| 8s | |
| 2m 59s | |
| 2m 57s | |
| 2m 55s | |
| 2m 11s | |
| 2m 7s | |
| 1m 11s | |
| 2m 2s | |
| 47s | |
| 1m 2s | |
| 16s | |
| 13s | |
| 11s | |
| 9s | |
| 1s | |
| 1s | |
| 19m 10s |