Store the whole def in Defintion
and introduce QuintDeclaration
#2509
Job | Run time |
---|---|
42s | |
1m 3s | |
39s | |
1m 44s | |
4m 3s | |
7m 10s | |
1m 30s | |
5m 34s | |
1m 59s | |
2m 34s | |
5m 55s | |
4m 11s | |
6m 12s | |
11m 12s | |
6m 26s | |
1h 0m 54s |