patch 8.2.1319: status badge for Github CI has wrong link

Problem:    Status badge for Github CI has wrong link.
Solution:   Rename and use the right link
This commit is contained in:
Bram Moolenaar
2020-07-29 17:43:55 +02:00
parent ed3c7e6339
commit ac7bf8c4bf
3 changed files with 4 additions and 2 deletions

View File

@ -1,4 +1,4 @@
name: CI with MSVC and MinGW-w64
name: GitHub CI
on:
push: