CI: Use new Ubuntu 22.04 image and remove deprecated Ubuntu 18.04#1847
Merged
JamesWTruher merged 2 commits intomasterfrom Apr 25, 2023
Merged
CI: Use new Ubuntu 22.04 image and remove deprecated Ubuntu 18.04#1847JamesWTruher merged 2 commits intomasterfrom
JamesWTruher merged 2 commits intomasterfrom
