Make Jsx.element a private empty record to avoid unnecessary Primitive_option.some #6693
| Job | Run time |
|---|---|
| 16s | |
| 12m 38s | |
| 15s | |
| 12m 41s | |
| 7s | |
| 12m 56s | |
| 28s | |
| 1m 57s | |
| 25s | |
| 12m 34s | |
| 1m 56s | |
| 1m 48s | |
| 1m 56s | |
| 1s | |
| 1s | |
| 1s | |
| 1h 0m 0s |
| Job | Run time |
|---|---|
| 16s | |
| 12m 38s | |
| 15s | |
| 12m 41s | |
| 7s | |
| 12m 56s | |
| 28s | |
| 1m 57s | |
| 25s | |
| 12m 34s | |
| 1m 56s | |
| 1m 48s | |
| 1m 56s | |
| 1s | |
| 1s | |
| 1s | |
| 1h 0m 0s |