CI: support MacOS

At the moment, only `ubuntu-22-04` is tested in the CI, see file `.github/workflows/ci.yaml`
`macos-latest` should be added, and a matrix should be used.
When this is done, the jobs must be added to the list of required jobs to pass to merge a pull request. 