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

Fix GitHub Actions for macOS
ocaml · Apr 26, 2024 · c8366f7 · c8366f7
2 parents bd96d2a + 00ce8a6
commit c8366f7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -70,6 +70,7 @@ users)
 ## Build
 
 ## Infrastructure
+  * Ensure GNU coreutils available on the macOS 14 CI runners [#5938 @dra27]
 
 ## Release scripts