Merge pull request #216 from RICCIARDI-Adrien/ci_remove_ubuntu_18_04_… #126
Job | Run time |
---|---|
22s | |
48s | |
25s | |
45s | |
1m 0s | |
1m 21s | |
1m 3s | |
1m 21s | |
29s | |
25s | |
39s | |
19s | |
8m 57s |
Job | Run time |
---|---|
22s | |
48s | |
25s | |
45s | |
1m 0s | |
1m 21s | |
1m 3s | |
1m 21s | |
29s | |
25s | |
39s | |
19s | |
8m 57s |