Run macos jobs only on macos_highsierra runners
This MR modifies the gitlab-CI configuration to run the macos
jobs only on the macos_highsierra
tagged runners. This is to avoid the macos_sierra
runners which are dying.
This MR modifies the gitlab-CI configuration to run the macos
jobs only on the macos_highsierra
tagged runners. This is to avoid the macos_sierra
runners which are dying.