more CI fixes

[ci skip]