Use github.ref_name instead of github.ref for readability

This commit is contained in:
Sébastien Rombauts 2023-08-18 14:55:32 +02:00
parent 8f8029cb7e
commit e1bb204bab

View File

@ -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 }}