CI: Give Windows CI workflow a unique name

This should ™️ make it easier to identify the workflow in the
GitHub Actions UI pane on the website.
This commit is contained in:
Andrew Kaster 2025-07-15 14:34:03 -06:00 committed by Andrew Kaster
parent c8b574e9b4
commit 358a24b461

View file

@ -1,4 +1,4 @@
name: CI
name: CI (Windows)
on:
pull_request: