Add types for krm interface. #196
Job | Run time |
---|---|
25s | |
2m 42s | |
2m 29s | |
2m 44s | |
2m 13s | |
2m 14s | |
2m 48s | |
2m 11s | |
2m 2s | |
2m 57s | |
2m 19s | |
2m 26s | |
2m 19s | |
2m 10s | |
2m 14s | |
2m 16s | |
2m 4s | |
2m 51s | |
2m 11s | |
2m 38s | |
46m 13s |
Job | Run time |
---|---|
25s | |
2m 42s | |
2m 29s | |
2m 44s | |
2m 13s | |
2m 14s | |
2m 48s | |
2m 11s | |
2m 2s | |
2m 57s | |
2m 19s | |
2m 26s | |
2m 19s | |
2m 10s | |
2m 14s | |
2m 16s | |
2m 4s | |
2m 51s | |
2m 11s | |
2m 38s | |
46m 13s |