File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 71
71
.github/workflows/process-binaries.sh
72
72
DIR=$(dirname $PRINTAPI_EXEC)
73
73
FILE=$(basename $PRINTAPI_EXEC)
74
- PRINTAPI_EXEC_TAR=print-api-head-${{ runner.os }}-${{ env.ARCH }}.tar.gz
74
+ PRINTAPI_EXEC_TAR=print-api-head-${{ runner.os }}-${{ matrix.ghc }}-${{ env.ARCH }}.tar.gz
75
75
tar -czvf $PRINTAPI_EXEC_TAR -C $DIR $FILE
76
76
echo PRINTAPI_EXEC_TAR=$PRINTAPI_EXEC_TAR >> $GITHUB_ENV
77
77
- name : Upload the print-api executable
@@ -140,7 +140,7 @@ jobs:
140
140
.github/workflows/process-binaries.sh
141
141
DIR=$(dirname $PRINTAPI_EXEC)
142
142
FILE=$(basename $PRINTAPI_EXEC)
143
- PRINTAPI_EXEC_TAR=print-api-head-${{ runner.os }}-static-${{ env.ARCH }}.tar.gz
143
+ PRINTAPI_EXEC_TAR=print-api-head-${{ runner.os }}-static-${{ matrix.ghc }}-${{ env.ARCH }}.tar.gz
144
144
tar -czvf $PRINTAPI_EXEC_TAR -C $DIR $FILE
145
145
echo PRINTAPI_EXEC_TAR=$PRINTAPI_EXEC_TAR >> $GITHUB_ENV
146
146
Original file line number Diff line number Diff line change 88
88
DIR=$(dirname $PRINTAPI_EXEC)
89
89
FILE=$(basename $PRINTAPI_EXEC)
90
90
version=$(./distribution/print-api --version)
91
- PRINTAPI_EXEC_TAR=print-api-${version}-${{ runner.os }}-${{ env.ARCH }}.tar.gz
91
+ PRINTAPI_EXEC_TAR=print-api-${version}-${{ runner.os }}-${{ matrix.ghc }}-${{ env.ARCH }}.tar.gz
92
92
tar -czvf $PRINTAPI_EXEC_TAR -C $DIR $FILE
93
93
echo PRINTAPI_EXEC_TAR=$PRINTAPI_EXEC_TAR >> $GITHUB_ENV
94
94
- name : Upload the print-api executable
@@ -160,7 +160,7 @@ jobs:
160
160
DIR=$(dirname $PRINTAPI_EXEC)
161
161
FILE=$(basename $PRINTAPI_EXEC)
162
162
version=$(./distribution/print-api --version)
163
- PRINTAPI_EXEC_TAR=print-api-${version}-${{ runner.os }}-static-${{ env.ARCH }}.tar.gz
163
+ PRINTAPI_EXEC_TAR=print-api-${version}-${{ runner.os }}-static-${{ matrix.ghc }}-${{ env.ARCH }}.tar.gz
164
164
tar -czvf $PRINTAPI_EXEC_TAR -C $DIR $FILE
165
165
echo PRINTAPI_EXEC_TAR=$PRINTAPI_EXEC_TAR >> $GITHUB_ENV
166
166
You can’t perform that action at this time.
0 commit comments