Merge pull request #5938 from dra27/keeping-macos-real

Fix GitHub Actions for macOS

Author: kit-ty-kate

.github/scripts/main/preamble.sh

@@ -10,6 +10,9 @@ fi
 echo "Cache -> $CACHE"
 OCAML_LOCAL=$CACHE/ocaml-local
 OPAM_LOCAL=$CACHE/opam-local
+if [ "$RUNNER_OS" = 'macOS' ]; then
+  PATH="/opt/homebrew/opt/coreutils/libexec/gnubin:$PATH"
+fi
 PATH=$OPAM_LOCAL/bin:$OCAML_LOCAL/bin:$PATH; export PATH
 
 OPAM_COLD=${OPAM_COLD:-0}

master_changes.md

@@ -70,6 +70,7 @@ users)
 ## Build
 
 ## Infrastructure
+  * Ensure GNU coreutils available on the macOS 14 CI runners [#5938 @dra27]
 
 ## Release scripts