Fix #479: C: case-sensitive labels: preserve case in union member names #225
| Job | Run time |
|---|---|
| 8m 28s | |
| 8m 53s | |
| 10m 36s | |
| 9m 12s | |
| 9m 41s | |
| 9m 51s | |
| 8m 57s | |
| 9m 34s | |
| 8m 16s | |
| 8m 32s | |
| 9m 19s | |
| 7m 0s | |
| 1h 48m 19s |
| Job | Run time |
|---|---|
| 8m 28s | |
| 8m 53s | |
| 10m 36s | |
| 9m 12s | |
| 9m 41s | |
| 9m 51s | |
| 8m 57s | |
| 9m 34s | |
| 8m 16s | |
| 8m 32s | |
| 9m 19s | |
| 7m 0s | |
| 1h 48m 19s |