Fix name

benedikt-schesch · May 5, 2024 · f75edef · f75edef
1 parent 1d73bb0
commit f75edef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-replay.yml b/.github/workflows/test-replay.yml
@@ -54,7 +54,7 @@ jobs:
     - name: Clean caches & workspace
       run: make clean
     - run: echo "LOGURU_COLORIZE=NO" >> $GITHUB_ENV
-    - name: Run small test
+    - name: Run replay_merge.py
       run: |
         git config --global user.email "[email protected]"
         git config --global user.name "Example Example"