upgade to new microkit-sdk, remove microkit-sdk-bin #116
Job | Run time |
---|---|
22s | |
38s | |
31s | |
22s | |
1h 21m 7s | |
41s | |
1h 24m 31s | |
24s | |
24s | |
39s | |
26s | |
22s | |
19s | |
30s | |
31s | |
37s | |
34s | |
24s | |
53s | |
33s | |
29s | |
28s | |
24s | |
31s | |
33s | |
30s | |
34s | |
28s | |
29s | |
31s | |
58s | |
57s | |
57s | |
1m 1s | |
1m 1s | |
57s | |
1m 5s | |
57s | |
54s | |
1m 0s | |
52s | |
55s | |
54s | |
1m 6s | |
1m 6s | |
1m 29s | |
1m 59s | |
1m 50s | |
1m 44s | |
1m 48s | |
1m 37s | |
3h 24m 52s |