Merge pull request #11664 from JabRef/add-debian-vm #100
Job | Run time |
---|---|
8s | |
2m 48s | |
16s | |
50s | |
2m 59s | |
5s | |
1m 21s | |
7s | |
3s | |
1m 25s | |
2m 29s | |
2s | |
1m 27s | |
14m 0s |
Job | Run time |
---|---|
8s | |
2m 48s | |
16s | |
50s | |
2m 59s | |
5s | |
1m 21s | |
7s | |
3s | |
1m 25s | |
2m 29s | |
2s | |
1m 27s | |
14m 0s |