Merge CI triggered from @gligneul of #31
Job | Run time |
---|---|
2m 21s | |
2s | |
11m 30s | |
48m 21s | |
15m 25s | |
1h 47m 11s | |
12m 20s | |
20m 40s | |
0s | |
0s | |
3s | |
3h 37m 53s |
Job | Run time |
---|---|
2m 21s | |
2s | |
11m 30s | |
48m 21s | |
15m 25s | |
1h 47m 11s | |
12m 20s | |
20m 40s | |
0s | |
0s | |
3s | |
3h 37m 53s |