Skip to content

Commit 29c03c5

Browse files
committed
CI: fix a warning
1 parent 39d9df7 commit 29c03c5

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

Diff for: .github/workflows/ci.yml

+5-2
Original file line numberDiff line numberDiff line change
@@ -161,6 +161,11 @@ jobs:
161161
git config --global core.autocrlf false
162162
git config --global core.eol lf
163163
164+
# see https://github.com/ocaml/setup-ocaml/issues/815
165+
- name: "Windows: set SHELLOPTS=igncr"
166+
if: runner.os == 'Windows'
167+
run: echo "SHELLOPTS=igncr" >>"$GITHUB_ENV"
168+
164169
- name: Checkout
165170
uses: actions/checkout@v4
166171
with:
@@ -328,8 +333,6 @@ jobs:
328333
- name: "Check if syntax subfolder has changed"
329334
id: syntax-diff
330335
shell: bash
331-
env:
332-
SHELLOPTS: igncr # see https://github.com/ocaml/setup-ocaml/issues/815
333336
run: |
334337
if git diff --name-only --exit-code HEAD^ HEAD -- jscomp/syntax; then
335338
echo "syntax_status=unchanged" >> $GITHUB_ENV

0 commit comments

Comments
 (0)