CI: Workaround recently broken add-apt-repository on GHA
Hopefully adding the sources manually still works.
R
Rémi Verschelde committed
261fef72ad0b318eda25b1249fd47e8cecd71b56
Parent: b137180
Hopefully adding the sources manually still works.