diff options
| author |  Marshmallow <xiongnemo@126.com> | 2020-09-11 15:31:14 +0800 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2020-09-11 12:43:30 -0700 |
| commit | 60a5a1176d21a243275ad9d4b2285e973c2c6978 (patch) | |
| tree | 661c8c4786feb9c95a22d4c8fa2be13dd50cc39a /map-widget | |
| parent | 83c84fdc8b667a3b9cdd3213677c36dbfb4775ff (diff) | |
| download | subsurface-60a5a1176d21a243275ad9d4b2285e973c2c6978.tar.gz | |
project-infrastructure: update workflow badges in README
Remove old Travis CI badge, use GitHub workflow status badge instead as now we use GitHub Action.
Signed-off-by: Nemo Xiong <xiongnemo@126.com>
Diffstat (limited to 'map-widget')
0 files changed, 0 insertions, 0 deletions