Closed benthie closed 1 year ago
Fixes #105 Fixes #107
The GitHub actions servers currently seem to have some problems with installing packages via apt. I will retry in a couple of hours.
apt
Fixes #105 Fixes #107