Print UTF-8 string using GNAT.IO in Report_Jekyll
#1167
| Job | Run time |
|---|---|
| 6m 29s | |
| 6m 8s | |
| 7m 32s | |
| 5m 3s | |
| 7m 31s | |
| 32m 43s |
GNAT.IO in Report_Jekyll
#1167
| Job | Run time |
|---|---|
| 6m 29s | |
| 6m 8s | |
| 7m 32s | |
| 5m 3s | |
| 7m 31s | |
| 32m 43s |