Since some time, the macOS CI run via github actions usually gets killed before it is finished.
Since some time, the macOS CI run via github actions usually gets killed before it is finished.