Skip to content

Add Ubuntu 20 to CI pipeline#39

Merged
ThomasDebrunner merged 1 commit intomainfrom ubuntu-20-ciJan 23, 2024

Commits