Skip to content

Commit

Permalink
Update coq-windows.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross committed Sep 19, 2024
1 parent 59b24dc commit a767d6e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/coq-windows.yml
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ jobs:
- run: opam install js_of_ocaml
- run: opam install conf-time
- name: Work around https://github.com/actions/checkout/issues/766
run: opam exec -- git config --global --add safe.directory "*"
run: opam exec -- bash -l -c 'git config --global --add safe.directory "*"'
- name: echo build params
run: .\etc\ci\describe-system-config-win.ps1
- name: deps
Expand Down

0 comments on commit a767d6e

Please sign in to comment.