CI: Fix harmless error in shell scripting

[ -n $var ] is always true. [[ does not have this problem. Also quote the variable because it's a good practice anyway.

This did not cause any problems since the grep later would have worked correctly.