Merge pull request #617 from pguyot/w22/add-enif_select #1937
Job | Run time |
---|---|
3m 12s | |
4m 58s | |
5m 22s | |
5m 56s | |
2m 53s | |
3m 42s | |
2m 52s | |
2m 52s | |
4m 37s | |
2m 59s | |
4m 1s | |
3m 15s | |
3m 0s | |
2m 56s | |
3m 25s | |
3m 42s | |
3m 2s | |
4m 1s | |
4m 8s | |
5m 17s | |
5m 23s | |
5m 39s | |
5m 4s | |
5m 10s | |
3m 16s | |
4m 37s | |
4m 56s | |
5m 7s | |
5m 4s | |
5m 18s | |
3m 29s | |
3m 26s | |
3m 9s | |
3m 4s | |
3m 3s | |
3m 39s | |
3m 30s | |
3m 0s | |
3m 24s | |
3m 3s | |
3m 13s | |
3m 16s | |
5m 3s | |
3m 6s | |
3m 47s | |
4m 47s | |
3h 1m 43s |