Skip to content

Commit

Permalink
Don't rely on CYGWIN_ROOT in opam Windows CI
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross committed Sep 19, 2024
1 parent 1bca15a commit 0e6b3e8
Showing 1 changed file with 3 additions and 6 deletions.
9 changes: 3 additions & 6 deletions .github/workflows/coq-opam-package.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,7 @@ jobs:

env:
OPAMYES: "true"
OPAMCONFIRMLEVEL: "unsafe-yes"

steps:
- name: Set up OCaml
Expand Down Expand Up @@ -97,9 +98,7 @@ jobs:
if: ${{ runner.os == 'Windows' }}

- name: Work around https://github.com/actions/checkout/issues/766 / https://github.com/ocaml/setup-ocaml/issues/479 / https://github.com/actions/checkout/issues/767 / https://github.com/actions/checkout/issues/760
run: |
%CYGWIN_ROOT%\bin\bash.exe -l -c 'git config --global --add safe.directory "*"'
shell: cmd
run: opam exec -- git config --global --add safe.directory "*"
if: ${{ runner.os == 'Windows' }}

- name: echo opam build params
Expand Down Expand Up @@ -150,9 +149,7 @@ jobs:
if: ${{ always() && runner.os == 'Windows' }}

- name: cat opam logs (Windows)
run: |
%CYGWIN_ROOT%\bin\bash.exe -l -c 'for i in $(find ~/.opam/log/ -type f); do echo "::group::$i"; cat "$i"; echo "::endgroup::"; done'
shell: cmd
run: opam exec -- bash -l -c 'for i in $(find ~/.opam/log/ -type f); do echo "::group::$i"; cat "$i"; echo "::endgroup::"; done'
if: ${{ always() && runner.os == 'Windows' }}

- run: opam list
Expand Down

0 comments on commit 0e6b3e8

Please sign in to comment.