summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorBram Moolenaar <Bram@vim.org>2020-07-29 17:43:55 +0200
committerBram Moolenaar <Bram@vim.org>2020-07-29 17:43:55 +0200
commitac7bf8c4bfcbb157a2db6b939927bf11edb6ba7b (patch)
treea8657ecaeab24007ed7073e96b8c266ed5fe25db /.github
parented3c7e633944cf70754bc05504a7cd724fdca178 (diff)
downloadvim-git-ac7bf8c4bfcbb157a2db6b939927bf11edb6ba7b.tar.gz
patch 8.2.1319: status badge for Github CI has wrong linkv8.2.1319
Problem: Status badge for Github CI has wrong link. Solution: Rename and use the right link
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci-windows.yaml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci-windows.yaml b/.github/workflows/ci-windows.yaml
index 1fca08ea5..ec02a8124 100644
--- a/.github/workflows/ci-windows.yaml
+++ b/.github/workflows/ci-windows.yaml
@@ -1,4 +1,4 @@
-name: CI with MSVC and MinGW-w64
+name: GitHub CI
on:
push: