]> git.ipfire.org Git - thirdparty/rspamd.git/commitdiff
Merge pull request #4621 from fatalbanana/ci_improvements
authorVsevolod Stakhov <vsevolod@rspamd.com>
Sat, 30 Sep 2023 12:06:29 +0000 (13:06 +0100)
committerGitHub <noreply@github.com>
Sat, 30 Sep 2023 12:06:29 +0000 (13:06 +0100)
Minor improvements for CI


Trivial merge