Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: Switch runs-on to ubuntu-20.04 #5

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

pierrewillenbrockdfki
Copy link
Collaborator

The build is back to being run, but it currently fails because @2maz added an #include for boost/serialization/library_version_type.hpp in knowledge_reasoning/moreorg that does not exist before ubuntu 22.04, and for some reason the review branch is used here.

The DockerFile being used can stay at 18.04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant