Fix type in ci script