Simplify Gitlab CI deploy conditions: Only require that variable is set to any value
Simplify Gitlab CI deploy conditions: Only require that variable is set to any value

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt