Merge xilem_html and xilem_svg as xilem_web
#100
| Job | Run time |
|---|---|
| 10s | |
| 3m 7s | |
| 7m 45s | |
| 2m 30s | |
| 4m 8s | |
| 1m 43s | |
| 4m 2s | |
| 23m 25s |
xilem_html and xilem_svg as xilem_web
#100
| Job | Run time |
|---|---|
| 10s | |
| 3m 7s | |
| 7m 45s | |
| 2m 30s | |
| 4m 8s | |
| 1m 43s | |
| 4m 2s | |
| 23m 25s |