New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

GHA: fix depext workflow #5153

Merged

rjbou merged 3 commits into ocaml:master from rjbou:gha

May 25, 2022

Collaborator

rjbou commented May 25, 2022

update repo hash
add workspace as safe directory for git (cf. Fix Cygwin git operation on Windows checkouts #5119)

rjbou added 3 commits

May 25, 2022 11:40


          gha: update repo sha of depext workflow

b1bd432


          gha: add git safe directory to depext workflow

231fe0d


          update changes

5172e5b

rjbou added this to PR in Out of release : doc, test, install, etc. via automation

rjbou merged commit 8d91d22 into ocaml:master

Out of release : doc, test, install, etc. automation moved this from PR to done

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment