]> git.ipfire.org Git - thirdparty/mtr.git/commitdiff
Merge pull request #481 from darless/github-workflows
authorRoger Wolff <R.E.Wolff@BitWizard.nl>
Thu, 10 Aug 2023 14:31:35 +0000 (16:31 +0200)
committerGitHub <noreply@github.com>
Thu, 10 Aug 2023 14:31:35 +0000 (16:31 +0200)
Github actions added to perform lint and compile


Trivial merge