Giovanni Petrantoni c5b9fd3353
Try fix ci (#544)
* use apt-get

* try bump ubuntu ver
2021-03-15 14:50:36 +09:00
..
2021-03-15 14:50:36 +09:00