Skip to content

Use Ubuntu 20.04 for builds#205

Merged
bnusunny merged 2 commits intomainfrom
fix_pipeline_build
Apr 12, 2023
Merged

Use Ubuntu 20.04 for builds#205
bnusunny merged 2 commits intomainfrom
fix_pipeline_build

Commits

Commits on Apr 12, 2023