Code

CI: fix MacOS jobs regarding gpatch#6296

Code

Merged

kit-ty-kate merged 1 commit intoocaml:masterocaml/opam:masterfrom rjbou:ci-patch-homebrewrjbou/opam:ci-patch-homebrewCopy head branch name to clipboardNov 14, 2024

+2

Commits

Commits on Nov 14, 2024

• Update the github action scripts now that homebrew renamed the GNU patch binary to gpatch (see Homebrew/homebrew-core#174687)

  

  kit-ty-kate

  authored and

  rjbou

  committed
  565711f

  Copy full SHA for 565711f