CI: Move all ubuntu-18.04 to ubuntu-20.04#11026
Closed
deepthi wants to merge 1 commit intovitessio:mainfrom
Closed
CI: Move all ubuntu-18.04 to ubuntu-20.04#11026deepthi wants to merge 1 commit intovitessio:mainfrom
deepthi wants to merge 1 commit intovitessio:mainfrom
Commits
Commits on Aug 22, 2022
- authored andcommitted
