unixPB: RISC-V updates and use docker.io on Ubuntu 20+
#1860
| Job | Run time |
|---|---|
| 3m 23s | |
| 14m 36s | |
| 6h 0m 0s | |
| 6h 0m 1s | |
| 12h 18m 0s |
docker.io on Ubuntu 20+
#1860
| Job | Run time |
|---|---|
| 3m 23s | |
| 14m 36s | |
| 6h 0m 0s | |
| 6h 0m 1s | |
| 12h 18m 0s |