fix: explicitly initialize Std
in lean_initialize
#18724
Job | Run time |
---|---|
7s | |
25m 18s | |
16m 2s | |
41m 34s | |
44m 44s | |
30m 7s | |
15m 59s | |
58m 1s | |
11m 3s | |
12m 36s | |
30m 21s | |
3s | |
0s | |
0s | |
4h 45m 55s |