diff --git a/.github/scripts/main/preamble.sh b/.github/scripts/main/preamble.sh index 53fb04d05ff..19bb37f5032 100644 --- a/.github/scripts/main/preamble.sh +++ b/.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} diff --git a/master_changes.md b/master_changes.md index cea1b3a25e8..bc9acf126f3 100644 --- a/master_changes.md +++ b/master_changes.md @@ -70,6 +70,7 @@ users) ## Build ## Infrastructure + * Ensure GNU coreutils available on the macOS 14 CI runners [#5938 @dra27] ## Release scripts