From e1bb204babf47739fe8b19abbb871709edb0fb89 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Rombauts?= <sebastien.rombauts@gmail.com>
Date: Fri, 18 Aug 2023 14:55:32 +0200
Subject: [PATCH] Use github.ref_name instead of github.ref for readability

---
 .github/workflows/build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b1f5478..8a75cf9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -44,10 +44,10 @@ jobs:
           }
 
     steps:
-    - name: Checkout ${{ github.ref }}
+    - name: Checkout ${{ github.ref_name }}
       uses: actions/checkout@v3
     - run: git submodule update --init --recursive
-    - name: set extra GITHUB_PATH (for MinGW)
+    - name: set extra GITHUB_PATH ${{ matrix.config.extra_path }} (for MinGW)
       shell: bash
       run: echo "${{ matrix.config.extra_path }}" >> $GITHUB_PATH
     - name: set env CXX=${{ matrix.config.cxx }}