Closed jbendes closed 3 years ago
Github stopped supporting older versions of ubuntu for their CI pipelines so we have to move the ci build into docker
Github stopped supporting older versions of ubuntu for their CI pipelines so we have to move the ci build into docker