Code

Loosen ownership of build files#1779

Code

Merged

mshinwell merged 1 commit intoocaml-flambda:mainocaml-flambda/flambda-backend:mainfrom

antalsz:loosen-ownership-of-build-filesantalsz/flambda-backend:loosen-ownership-of-build-filesCopy head branch name to clipboard

Aug 30, 2023

Commits

Commits on Aug 29, 2023

• Loosen ownership of build files

  antalsz

  committed
  6f27aa5

  Copy full SHA for 6f27aa5