Skip to content

Commit cdfe7fb

Browse files
authored
Merge pull request #4866 from unisonweb/aryairani-patch-4
restore git user setup for transcripts test
2 parents 41046d5 + 743822c commit cdfe7fb

File tree

1 file changed

+13
-6
lines changed

1 file changed

+13
-6
lines changed

.github/workflows/ci.yaml

Lines changed: 13 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -142,6 +142,13 @@ jobs:
142142
--local-bin-path ${{env.ucm_local_bin}} \
143143
--copy-bins
144144
145+
# The unison-cli test requires a git user.
146+
- name: set git user info
147+
if: steps.cache-ucm-binaries.outputs.cache-hit != 'true'
148+
run: |
149+
git config --global user.name "GitHub Actions"
150+
git config --global user.email "actions@github.com"
151+
145152
# Run each test suite (tests and transcripts)
146153
- name: unison-cli test
147154
if: steps.cache-ucm-binaries.outputs.cache-hit != 'true'
@@ -244,12 +251,12 @@ jobs:
244251
path: ${{env.ucm_local_bin}}
245252
key: ucm-${{ matrix.os }}-${{ hashFiles('**/stack.yaml', '**/package.yaml', '**/*.hs')}}
246253
fail-on-cache-miss: true
247-
# # One of the transcripts fails if the user's git name hasn't been set.
248-
# ## (Which transcript? -AI)
249-
# - name: set git user info
250-
# run: |
251-
# git config --global user.name "GitHub Actions"
252-
# git config --global user.email "actions@github.com"
254+
# One of the transcripts fails if the user's git name hasn't been set.
255+
## (Which transcript? -AI)
256+
- name: set git user info
257+
run: |
258+
git config --global user.name "GitHub Actions"
259+
git config --global user.email "actions@github.com"
253260
- name: round-trip-tests
254261
if: steps.cache-transcript-test-results.outputs.cache-hit != 'true'
255262
run: |

0 commit comments

Comments
 (0)