Skip to content
New issue

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

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

Already on GitHub? # to your account

GitHub Actions: Add build on clean docker image #382

Merged
merged 9 commits into from
Apr 25, 2020

Conversation

traversaro
Copy link
Member

@traversaro traversaro commented Apr 24, 2020

This permits to test also on:

Fix #381 .

@traversaro traversaro merged commit 8a7e79d into master Apr 25, 2020
@traversaro traversaro deleted the ci-add-focal-and-debian branch April 25, 2020 08:27
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Test on Ubuntu 20.04
2 participants