Transition from wasm32-wasi to wasm32-wasip1, fix clippy lint #1887
Job | Run time |
---|---|
43s | |
23s | |
8m 50s | |
2m 2s | |
2m 23s | |
19s | |
2m 3s | |
22s | |
2m 4s | |
1m 59s | |
1m 25s | |
3m 34s | |
3m 21s | |
2m 50s | |
2m 9s | |
2m 0s | |
2m 7s | |
38m 34s |
Job | Run time |
---|---|
43s | |
23s | |
8m 50s | |
2m 2s | |
2m 23s | |
19s | |
2m 3s | |
22s | |
2m 4s | |
1m 59s | |
1m 25s | |
3m 34s | |
3m 21s | |
2m 50s | |
2m 9s | |
2m 0s | |
2m 7s | |
38m 34s |