Closed xrmx closed 1 year ago
This bump the base distro to ubuntu 20.04 since ubuntu 18.04 image is gone and so the ci is not running jobs. To have it working this cherry-picks a squashed version of #66.
This bump the base distro to ubuntu 20.04 since ubuntu 18.04 image is gone and so the ci is not running jobs. To have it working this cherry-picks a squashed version of #66.