Skip to content

Add more safety proof to KnownLayout derive #3920

Add more safety proof to KnownLayout derive

Add more safety proof to KnownLayout derive #3920

Job Run time
25s
30s
41s
6s
1m 17s
1m 0s
10s
18s
5s
59s
59s
2m 26s
2m 8s
49s
1m 2s
1m 45s
2m 2s
1m 13s
51s
47s
57s
43s
50s
48s
1m 6s
44s
47s
1m 7s
1m 2s
45s
40s
45s
52s
48s
42s
38s
1m 8s
31s
36s
52s
46s
50s
42s
56s
51s
1m 25s
51s
1m 35s
1m 41s
51s
40s
1m 6s
1m 19s
40s
48s
1m 4s
34s
34s
38s
33s
48s
28s
27s
41s
40s
28s
32s
35s
1m 4s
31s
33s
44s
28s
31s
42s
39s
36s
1m 4s
34s
37s
35s
12m 48s
11m 45s
2m 42s
13m 14s
14m 9s
12m 34s
12m 53s
2m 30s
12m 50s
14m 35s
11m 37s
11m 33s
2m 13s
12m 30s
12m 16s
12m 56s
12m 36s
2m 36s
12m 31s
12m 35s
11m 14s
11m 51s
2m 14s
11m 59s
12m 10s
12m 50s
12m 17s
1m 51s
13m 3s
13m 1s
41s
59s
43s
53s
43s
13m 17s
12m 33s
2m 7s
12m 56s
14m 34s
39s
50s
45s
1m 4s
54s
1m 38s
1m 43s
1m 41s
59s
1m 15s
1m 24s
45s
32s
50s
44s
31s
45s
38s
39s
44s
43s
1m 38s
1m 0s
46s
38s
59s
30s
39s
43s
46s
37s
35s
1m 35s
1m 27s
1m 44s
1m 27s
53s
56s
44s
30s
36s
39s
53s
42s
38s
46s
52s
30s
43s
35s
40s
47s
45s
44s
34s
43s
38s
38s
50s
1m 10s
1m 13s
1m 13s
46s
55s
1m 7s
32s
52s
47s
46s
36s
56s
29s
40s
44s
43s
43s
58s
40s
30s
44s
52s
31s
46s
39s
42s
36s
0s
8h 35m 7s