Fix some data-races into mirage-crypto
#636
Job | Run time |
---|---|
9m 58s | |
6m 59s | |
12m 30s | |
8m 15s | |
13m 17s | |
9m 21s | |
13m 43s | |
9m 29s | |
4m 14s | |
2m 20s | |
6m 43s | |
2m 37s | |
4m 18s | |
2m 23s | |
8m 43s | |
2m 9s | |
1h 56m 59s |