Fix tlatools directory name in .gitlab-ci.yml

.gitlab-ci.yml

@@ -13,7 +13,7 @@ cache:
 publish:
   stage: deploy
   script:
-    - cd tlatools
+    - cd tlatools/org.lamport.tlatools
     - openssl aes-256-cbc -d -base64 -pbkdf2 -pass "env:ENCRYPTION_PASSWORD" -in gradle.properties.enc -out gradle.properties
     - openssl aes-256-cbc -d -base64 -pbkdf2 -pass "env:ENCRYPTION_PASSWORD" -in pubring.gpg.enc -out pubring.gpg
     - openssl aes-256-cbc -d -base64 -pbkdf2 -pass "env:ENCRYPTION_PASSWORD" -in secring.gpg.enc -out secring.gpg