Merge pull request #18374 from mrc0mmand/assorted-ci-tweaks
authorFrantisek Sumsal <frantisek@sumsal.cz>
Mon, 25 Jan 2021 20:50:09 +0000 (21:50 +0100)
committerGitHub <noreply@github.com>
Mon, 25 Jan 2021 20:50:09 +0000 (21:50 +0100)
commit77c93e0a4eddd66a8a4be02d80ffca365b19b767
treed25303036f370ab5be7cdae6f1db1b1a7b5526ef
parent4c6eb1d77d58938b752a71ce7699ffae04bd00a6
parent54cf684f5fe0e85c3a34b260e240716550c91f72
Merge pull request #18374 from mrc0mmand/assorted-ci-tweaks

Assorted CI tweaks