Closed zjeffer closed 11 months ago
Damn, there is no runner yet for ubuntu-23.04 :(
There's no official GitHub runner, no. But they allow us to use any other container image.
Anyway, I think this is a good time to replace our deb package made for Ubuntu 22.10 by one made for Ubuntu 23.04, since the former will reach EOL at the end of this month.
If you want to give it another shot, I think you'll have to only change this line (hopefully):
Damn, there is no runner yet for ubuntu-23.04 :(