Update names

This commit is contained in:
Donghee Na 2023-10-30 23:37:41 +09:00
parent d874a25e35
commit 5451d22cc7

View file

@ -178,13 +178,13 @@ jobs:
if: github.event_name == 'pull_request' # $GITHUB_EVENT_NAME if: github.event_name == 'pull_request' # $GITHUB_EVENT_NAME
run: make check-c-globals run: make check-c-globals
build_win: build_windows:
name: 'Windows' name: 'Windows'
needs: check_source needs: check_source
if: needs.check_source.outputs.run_tests == 'true' if: needs.check_source.outputs.run_tests == 'true'
uses: ./.github/workflows/reusable-build-windows.yml uses: ./.github/workflows/reusable-build-windows.yml
build_win_free_threaded: build_windows_free_threaded:
name: 'Windows (free-threaded)' name: 'Windows (free-threaded)'
needs: check_source needs: check_source
if: needs.check_source.outputs.run_tests == 'true' && contains(github.event.pull_request.labels.*.name, 'topic-free-threaded') if: needs.check_source.outputs.run_tests == 'true' && contains(github.event.pull_request.labels.*.name, 'topic-free-threaded')