]> git.ipfire.org Git - thirdparty/util-linux.git/commitdiff
Merge branch 'coverage-tweaks' of https://github.com/mrc0mmand/util-linux
authorKarel Zak <kzak@redhat.com>
Thu, 22 Jun 2023 12:19:07 +0000 (14:19 +0200)
committerKarel Zak <kzak@redhat.com>
Thu, 22 Jun 2023 12:19:07 +0000 (14:19 +0200)
* 'coverage-tweaks' of https://github.com/mrc0mmand/util-linux:
  ci: collect coverage on _exit() as well
  ci: hide coverage-related stuff begind --enable-coverage
  ci: tweak build dir's ACL when collecting coverage
  ci: fix indentation


Trivial merge