add deployment to our gitlab server

Author: wadoon

.github/workflows/nightlydeploy.yml

@@ -17,17 +17,8 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      # weigl: Should produce fancier release notes, but needs some configuration
-      # # https://github.com/marketplace/actions/release-changelog-builder
-      # - name: "Build Changelog"
-      #   id: build_changelog
-      #   uses: mikepenz/release-changelog-builder-action@v3.7.0
-      #   with:
-      #     ignorePreReleases: true
-      #     fetchReviewers: true
-
       - uses: actions/checkout@v6
-      - name: Set up JDK 21
+      - name: Set up JDK ${{ env.JAVA_VERSION }}
         uses: actions/setup-java@v5
         with:
           java-version: ${{ env.JAVA_VERSION }}
@@ -36,23 +27,24 @@ jobs:
 
       - name: Setup Gradle
         uses: gradle/actions/setup-gradle@v5
+
       - name: Build with Gradle
         run: ./gradlew --parallel assemble
 
   doc:
     needs: [build]
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
-      - name: Set up JDK 21
-        uses: actions/setup-java@v4
+      - uses: actions/checkout@v6
+      - name: Set up JDK ${{ env.JAVA_VERSION }}
+        uses: actions/setup-java@v5
         with:
           java-version: ${{ env.JAVA_VERSION }}
-          distribution: 'corretto'
+          distribution: 'temurin'
           cache: 'gradle'
 
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4
+        uses: gradle/actions/setup-gradle@v5
 
       - name: Build Documentation with Gradle
         run: ./gradlew alldoc
@@ -65,13 +57,13 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Upload Javadoc
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v6
         with:
           name: javadoc
           path: "javadoc.tar.xz"
 
       - name: Upload ShadowJar
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v6
         with:
           name: shadowjars
           path: "*/build/libs/*-exe.jar"
@@ -96,20 +88,20 @@ jobs:
     needs: [ build, doc ]
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
-      - name: Set up JDK 21
-        uses: actions/setup-java@v4
+      - uses: actions/checkout@v6
+      - name: Set up JDK ${{ env.JAVA_VERSION }}
+        uses: actions/setup-java@v5
         with:
           java-version: ${{ env.JAVA_VERSION }}
           distribution: 'temurin'
           cache: 'gradle'
 
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4
+        uses: gradle/actions/setup-gradle@v5
 
       - name: Upload to SNAPSHOT repository
-        run: ./gradlew publishToCentral
+        run: ./gradlew publishMavenJavaPublicationToKEYLABRepository
         env:
           BUILD_NUMBER: "SNAPSHOT"
-          ossrhUsername: ${{ secrets.MAVEN_CENTRAL_USER }}
-          ossrhPassword: ${{ secrets.MAVEN_CENTRAL_PASSWORD }}
+          GITLAB_DEPLOY_TOKEN: ${{ secrets.GITLAB_DEPLOY_TOKEN }}
+

build.gradle

@@ -332,15 +332,19 @@ subprojects {
                     name = "KEYLAB"
                     url = uri("https://git.key-project.org/api/v4/projects/35/packages/maven")
                     credentials(HttpHeaderCredentials) {
-                        // Gitlab supports three kinds of token.
-                        if (System.getenv("TOKEN") != null) {
-                            // Support for user token
+                        def userToken = envOrPropertyValue("GITLAB_USER_TOKEN")
+                        def deployToken = envOrPropertyValue("GITLAB_DEPLOY_TOKEN")
+                        def ciToken = envOrPropertyValue("GITLAB_CIJOB_TOKEN")
+
+                        if (userToken != "") {
                             name = 'Private-Token'
-                            value = envOrPropertyValue("TOKEN")
-                        } else {
-                            // Support for Gitlab CI
+                            value = userToken
+                        } else if(deployToken != "") {
+                            name = 'Deploy-Token'
+                            value = deployToken
+                        }  else {
                             name = 'Job-Token'
-                            value = envOrPropertyValue("CI_JOB_TOKEN")
+                            value = ciToken
                         }
                     }
                     authentication {
@@ -418,7 +422,7 @@ tasks.register('alldoc', Javadoc){
         //stylesheetFile = new File( projectDir, 'src/javadoc/stylesheet.css' )
         windowTitle = 'KeY API Documentation'
         docTitle = "KeY JavaDoc ($project.version) -- ${getDate()}"
-        bottom = "Copyright &copy; 2003-2025 <a href=\"http://key-project.org\">The KeY-Project</a>."
+        bottom = "Copyright &copy; 2003-2026 <a href=\"http://key-project.org\">The KeY-Project</a>."
         use = true
         links += "https://docs.oracle.com/en/java/javase/21/docs/api/"
         links += "https://www.antlr.org/api/Java/"
@@ -446,6 +450,6 @@ def envOrPropertyValue(String key) {
     if(key in System.getenv()) {
         return System.getenv(key)
     }else{
-        return project.properties.getOrDefault(key, "$key-not-found")
+        return project.properties.getOrDefault(key, "")
     }
 }

key.core/src/main/java/de/uka/ilkd/key/logic/ClashFreeSubst.java

@@ -187,7 +187,7 @@ private void applyOnSubterm1(int varInd, ImmutableArray<QuantifiableVariable> bo
      * <code>subTerm</code>, but does not occurr in <code>boundVars</code>.
      *
      * @return true if <code>subTerm</code> bound by <code>boundVars</code> would change under
-     *          application of this substitution
+     *         application of this substitution
      */
     protected boolean subTermChanges(ImmutableArray<QuantifiableVariable> boundVars,
             JTerm subTerm) {