ci: misc fixes

proletarius101 requested to merge misc-ci-fixes into dev-ci May 12, 2024