Merge pull request #1969 from dedis/work-be1-arnauds5-fix-sqlite-tran… #8856
Job | Run time |
---|---|
9m 29s | |
3m 49s | |
3m 43s | |
5m 49s | |
8m 3s | |
29s | |
5m 48s | |
1m 6s | |
11m 54s | |
8m 25s | |
58m 35s |
Job | Run time |
---|---|
9m 29s | |
3m 49s | |
3m 43s | |
5m 49s | |
8m 3s | |
29s | |
5m 48s | |
1m 6s | |
11m 54s | |
8m 25s | |
58m 35s |