Skip to content

Add Ubuntu 22.04 to CI#1801

Merged
julianoes merged 2 commits intomainfrom ci-add-ubuntu-20.04Jun 21, 2022

Commits

Commits on Jun 20, 2022