Update encrypted files

.gitlab-ci.yml

@@ -11,9 +11,9 @@ publish:
   stage: deploy
   image: eclipse-temurin:8
   script:
-    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -md md5 -in secring.gpg.enc -out secring.gpg
-    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -md md5 -in pubring.gpg.enc -out pubring.gpg
-    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -md md5 -in gradle.properties.enc -out gradle.properties
+    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -a -md md5 -in gradle.properties.enc -out gradle.properties
+    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -a -md md5 -in pubring.gpg.enc -out pubring.gpg
+    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -a -md md5 -in secring.gpg.enc -out secring.gpg
     - ./gradlew ${GRADLE_OPTIONS} uploadArchives
   only:
     - master@general/stups/rodin_eventb_ast

build.gradle

@@ -95,6 +95,8 @@ artifacts {
     archives javadocJar, sourcesJar
 }
 
+ext."signing.secretKeyRingFile" = rootProject.file("secring.gpg").absolutePath
+
 signing {
     sign configurations.archives
 }

gradle.properties.enc

-Salted__#Z䛾7{j;jSVGӇIzqs9kxy-2TJ9m/rCO;<S+/_ 9ȅ	5yHOӉ&kqфS%?>рcƾlwƟgn
a/^>=0aY] q>ݘX=)Qy+jcub1u増}"LE7Cza
\	
\ No newline at end of file
+U2FsdGVkX18nOHLNyyzYk3lwSF0IGgXp8ubFJuMWOPaMbTBmgRPWS/jQT4LO17HP
+W5yqIb+NzcYqzLBohg9s9r4XFyoS5ic3TIyPp87IXzgWNh3gKV+F+DfbggwMjiyJ
+0gZI+90cmkWXBDW7c3JijLOX2f0NATwuiwHFPau3FCKC0cp7uOArtqkbfZau2how
+oP8hzzAue50fahPuBfg8h3OtofJW9x9UCUxxD/NXzD8VZFQabICUjI8mcjEcvaea
+MqQn9JuoekIRPDUsUwZ9Er07OkzKXHB5c968S3DUP3w=