wasi: better poll_oneoff #19
Job | Run time |
---|---|
2m 18s | |
7m 49s | |
3m 29s | |
2m 24s | |
3m 15s | |
5m 32s | |
5m 25s | |
2m 58s | |
4m 27s | |
2m 28s | |
5m 32s | |
5m 52s | |
5m 5s | |
2m 53s | |
59m 27s |
Job | Run time |
---|---|
2m 18s | |
7m 49s | |
3m 29s | |
2m 24s | |
3m 15s | |
5m 32s | |
5m 25s | |
2m 58s | |
4m 27s | |
2m 28s | |
5m 32s | |
5m 52s | |
5m 5s | |
2m 53s | |
59m 27s |