add #[automatically_derived] to generated code (#159)
#680
| Job | Run time |
|---|---|
| 1m 59s | |
| 29s | |
| 6m 21s | |
| 2m 1s | |
| 2m 6s | |
| 1m 54s | |
| 14m 50s |
#[automatically_derived] to generated code (#159)
#680
| Job | Run time |
|---|---|
| 1m 59s | |
| 29s | |
| 6m 21s | |
| 2m 1s | |
| 2m 6s | |
| 1m 54s | |
| 14m 50s |