[NEST Users] Problems with Github CI on macOS / Temporary solution