Add Priority: to Debian control (#9586)
#35
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 17m 19s | |
| 15m 37s | |
| 9m 1s | |
| 0s | |
| 0s | |
| 2m 33s | |
| 49s | |
| 19m 5s | |
| 17m 10s | |
| 25m 5s | |
| 1s | |
| 14m 18s | |
| 14m 22s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 2h 15m 20s |