We should add another OS to our nightly build pipeline. As @tobka777 already found out, we can just add `macos-13`.