Merge pull request #2789 from jimklimov/ci-fix-oimaster
commitb42eda060e6a0f87592164a3d1d7d7d52162383c
authorJim Klimov <jimklimov+nut@gmail.com>
Wed, 29 Jan 2025 15:46:32 +0000 (29 16:46 +0100)
committerGitHub <noreply@github.com>
Wed, 29 Jan 2025 15:46:32 +0000 (29 16:46 +0100)
tree291c932eff3d9fbb134707806fd6c955f4abbc0e
parente3ef649ea6b188848b16fa1ff9241d3ef6efe9b2
parent16ee3dad08dfcc179215cd807a69c15b830cd2a0
Merge pull request #2789 from jimklimov/ci-fix-oi

Various small CI fixes