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 /commands | |
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 'commands')
0 files changed, 0 insertions, 0 deletions