Skip to content

Docker ubuntu 2204

The original Ubuntu Image (19.10) is not available anymore, so the docker image doesn't build anymore. I have changed the Dockerfile definition to use Ubuntu 22.04 and replaced the installation scripts of pybind11 and glpk with packages provided by the distribution.

I also took the liberty of adding the test function to the main in tests/test_module.py.

Merge request reports