]> git.ipfire.org Git - thirdparty/util-linux.git/commitdiff
Merge branch 'ci-coverity' of https://github.com/evverx/util-linux
authorKarel Zak <kzak@redhat.com>
Mon, 8 Nov 2021 13:25:12 +0000 (14:25 +0100)
committerKarel Zak <kzak@redhat.com>
Mon, 8 Nov 2021 13:25:12 +0000 (14:25 +0100)
* 'ci-coverity' of https://github.com/evverx/util-linux:
  ci: add a GHAction sending data to Coverity


Trivial merge