]> git.ipfire.org Git - thirdparty/collectd.git/commitdiff
Merge pull request #4171 from octo/workflow
authorFlorian Forster <octo@collectd.org>
Tue, 28 Nov 2023 12:02:17 +0000 (13:02 +0100)
committerGitHub <noreply@github.com>
Tue, 28 Nov 2023 12:02:17 +0000 (13:02 +0100)
Improve CI workflows


Trivial merge