File tree 1 file changed +7
-6
lines changed 1 file changed +7
-6
lines changed Original file line number Diff line number Diff line change @@ -25,22 +25,23 @@ jobs:
25
25
build : |
26
26
cd analysis
27
27
# git checkout converted these to windows newline. Convert back to unix newline here
28
- dos2unix test.sh tests/src/*.res tests/src/*.resi
28
+ # dos2unix test.sh tests/src/*.res tests/src/*.resi
29
29
echo "git diff ci"
30
30
git diff tests/src/expected/Auto.res.txt
31
31
echo "cat -A Auto.res.txt"
32
32
cat -A tests/src/expected/Auto.res.txt
33
33
echo "make now===="
34
- & $env:CYGWIN_ROOT\\bin\\ocaml-env exec -- make foo
34
+ # & $env:CYGWIN_ROOT\\bin\\ocaml-env exec -- make foo
35
+ make foo
35
36
artifact-folder : win32
36
37
37
38
runs-on : ${{matrix.os}}
38
39
39
40
steps :
40
- # - name: Set git to use LF
41
- # run: |
42
- # git config --global core.autocrlf false
43
- # git config --global core.eol lf
41
+ - name : Set git to use LF
42
+ run : |
43
+ git config --global core.autocrlf false
44
+ git config --global core.eol lf
44
45
45
46
46
47
You can’t perform that action at this time.
0 commit comments