You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Also dockerfile is using a specific commit version of Ubuntu while the github pipeline is using Ubuntu 20.04.
The pipeline for ubuntu, the dockerfile and the wiki instructions for ubuntu should be matching, shouldn't?
The text was updated successfully, but these errors were encountered:
GustavoContreiras
changed the title
Debian/Ubuntu instructions on Wiki is not matching Dockerfile
Debian/Ubuntu instructions on Wiki are not matching Dockerfile
Jan 15, 2023
The only difference is libncurses5-dev, but it's console specified package, so not sure if required. libboost-all-dev is metapackage that contains all libboost packages
The wiki is saying that the packages for Ubuntu are
And the dockerfile uses the following packages
Also dockerfile is using a specific commit version of Ubuntu while the github pipeline is using Ubuntu 20.04.
The pipeline for ubuntu, the dockerfile and the wiki instructions for ubuntu should be matching, shouldn't?
The text was updated successfully, but these errors were encountered: