Drop Type::definition
and regig generic handling (#207)
#355
Job | Run time |
---|---|
1m 53s | |
5m 3s | |
3m 30s | |
5m 11s | |
15m 37s |
Type::definition
and regig generic handling (#207)
#355
Job | Run time |
---|---|
1m 53s | |
5m 3s | |
3m 30s | |
5m 11s | |
15m 37s |