Fix CI badge (#3)

This commit is contained in:
Dave Gallant
2020-06-21 02:36:29 -04:00
committed by GitHub
parent d6c5b13f67
commit a10d0f235c
4 changed files with 14 additions and 1 deletions