Closed pabuhler closed 1 year ago
For CI this will work on both Ubuntu 20.04 & 22.04 . This will allow CI to move to ubuntu-latest, see #622
For CI this will work on both Ubuntu 20.04 & 22.04 . This will allow CI to move to ubuntu-latest, see #622