Pull request: fix ci by fixing clang-user