File tree Expand file tree Collapse file tree 1 file changed +7
-0
lines changed Expand file tree Collapse file tree 1 file changed +7
-0
lines changed Original file line number Diff line number Diff line change 43
43
with :
44
44
args : opam exec -- make
45
45
46
+ - name : Strip binaries
47
+ run : strip rescript-editor-analysis.exe rescript-tools.exe
48
+
46
49
# Also avoids artifacts upload permission loss:
47
50
# https://github.com/actions/upload-artifact/tree/ee69f02b3dfdecd58bb31b4d133da38ba6fe3700#permission-loss
48
51
- name : Compress files
@@ -136,6 +139,10 @@ jobs:
136
139
- name : Test
137
140
run : opam exec -- make test
138
141
142
+ - name : Strip binaries
143
+ if : matrix.os != 'windows-latest'
144
+ run : strip rescript-editor-analysis.exe rescript-tools.exe
145
+
139
146
# Also avoids artifacts upload permission loss:
140
147
# https://github.com/actions/upload-artifact/tree/ee69f02b3dfdecd58bb31b4d133da38ba6fe3700#permission-loss
141
148
- name : Compress files
You can’t perform that action at this time.
0 commit comments