Issue #642: change debian11 to debian12 (#643) #366
Job | Run time |
---|---|
14m 45s | |
17m 35s | |
6m 33s | |
7m 52s | |
7m 35s | |
8m 59s | |
14m 50s | |
17m 40s | |
6m 28s | |
9m 38s | |
6m 6s | |
7m 7s | |
7m 29s | |
10m 29s | |
5m 48s | |
4m 21s | |
7m 8s | |
4m 45s | |
6m 21s | |
6m 53s | |
6m 9s | |
5m 27s | |
9m 12s | |
9m 9s | |
10m 14s | |
4m 18s | |
4m 35s | |
5m 16s | |
3h 52m 42s |