diff options
| author | Andrew Kaster <andrewdkaster@gmail.com> | 2021-05-21 04:04:55 -0600 |
|---|---|---|
| committer | Linus Groh <mail@linusgroh.de> | 2021-05-21 22:59:07 +0100 |
| commit | b86d59793855351487f9b49ca10a8f6351ad96db (patch) | |
| tree | e66e62cf211c8aaf9b39d4e92050c5bb2e133fad /Base | |
| parent | 6ac454e70a5c2ca4103f0de9d0eccc01af54a8c3 (diff) | |
| download | serenity-b86d59793855351487f9b49ca10a8f6351ad96db.zip | |
CI: Add canonical-server/server-backports PPA to get updated QEMU
Ubuntu 20.04 only ships QEMU 4.2.1, which is quite an older release.
The BuildQemu.sh script uses version 6.0.0, while the server-backports
PPA is currently shipping 5.2.1. If it turns out the server-backports
PPA is not right, then we can switch to manually building and caching
the source build.
Diffstat (limited to 'Base')
0 files changed, 0 insertions, 0 deletions