Add documentation for string formats; fix at-identifier format
#801
| Job | Run time |
|---|---|
| 1m 15s | |
| 51s | |
| 44s | |
| 29s | |
| 29s | |
| 34s | |
| 42s | |
| 48s | |
| 58s | |
| 48s | |
| 45s | |
| 1m 1s | |
| 1m 3s | |
| 1m 1s | |
| 1m 22s | |
| 1m 15s | |
| 1m 44s | |
| 2m 3s | |
| 17m 52s |
at-identifier format
#801
| Job | Run time |
|---|---|
| 1m 15s | |
| 51s | |
| 44s | |
| 29s | |
| 29s | |
| 34s | |
| 42s | |
| 48s | |
| 58s | |
| 48s | |
| 45s | |
| 1m 1s | |
| 1m 3s | |
| 1m 1s | |
| 1m 22s | |
| 1m 15s | |
| 1m 44s | |
| 2m 3s | |
| 17m 52s |