From faf5837f72dac1e9fabcd6dc5432afb398ed9414 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Sat, 4 May 2024 22:09:37 -0700 Subject: [PATCH] Fix name --- .github/workflows/check-reproducibility.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml index 82092e9d52..5d797b3eff 100644 --- a/.github/workflows/check-reproducibility.yml +++ b/.github/workflows/check-reproducibility.yml @@ -40,7 +40,7 @@ jobs: - name: Clean caches & workspace run: make clean - run: echo "LOGURU_COLORIZE=NO" >> $GITHUB_ENV - - name: Run small test + - name: make check-merges-reproducibility run: | git config --global user.email "example@example.com" git config --global user.name "Example Example"