Closed jhmgoossens closed 1 year ago
For Linux-ci move to ubuntu 22.04 from 18.04 and macos-12 from 10.15.
For Linux-ci move to ubuntu 22.04 from 18.04 and macos-12 from 10.15.