clean up github actions, more deployment into build.gradle

Author: wadoon

.github/workflows/gradle-publish.yml

@@ -1,4 +1,4 @@
-name: Nightly Deployer of Weekly Builds
+name: Weekly Builds of KeY
 
 on:
   workflow_dispatch:
@@ -9,9 +9,12 @@ permissions:
   contents: write
   id-token: write
 
+env:
+  JAVA_VERSION: 21
+
 
 jobs:
-  deploy:
+  build:
     runs-on: ubuntu-latest
     steps:
       # weigl: Should produce fancier release notes, but needs some configuration
@@ -27,14 +30,52 @@ jobs:
       - name: Set up JDK 21
         uses: actions/setup-java@v5
         with:
-          java-version: 21
+          java-version: ${{ env.JAVA_VERSION }}
           distribution: 'temurin'
+          cache: 'gradle'
 
       - 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
+        with:
+          java-version: ${{ env.JAVA_VERSION }}
+          distribution: 'corretto'
+          cache: 'gradle'
+
+      - name: Setup Gradle
+        uses: gradle/actions/setup-gradle@v4
+
+      - name: Build Documentation with Gradle
+        run: ./gradlew alldoc
+
+      - name: Package
+        run: tar cvf key-javadoc.tar.xz build/docs/javadoc
+
+  deploy:
+    needs: [build, doc]
+    runs-on: ubuntu-latest
+    steps:
+      - name: Upload Javadoc
+        uses: actions/upload-artifact@v4
+        with:
+          name: javadoc
+          path: "javadoc.tar.xz"
+
+      - name: Upload ShadowJar
+        uses: actions/upload-artifact@v4
+        with:
+          name: shadowjars
+          path: "*/build/libs/*-exe.jar"
+
       - name: Delete previous nightly release
         continue-on-error: true
         env:
@@ -50,3 +91,25 @@ jobs:
           gh release create --generate-notes --title "Nightly Release" \
              --prerelease --notes-start-tag KEY-2.12.3 \
              nightly key.ui/build/libs/key-*-exe.jar
+
+  deploy-maven:
+    needs: [ build, doc ]
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Set up JDK 21
+        uses: actions/setup-java@v4
+        with:
+          java-version: ${{ env.JAVA_VERSION }}
+          distribution: 'temurin'
+          cache: 'gradle'
+
+      - name: Setup Gradle
+        uses: gradle/actions/setup-gradle@v4
+
+      - name: Upload to SNAPSHOT repository
+        run: ./gradlew publishToCentral
+        env:
+          BUILD_NUMBER: "SNAPSHOT"
+          ossrhUsername: ${{ secrets.MAVEN_CENTRAL_USER }}
+          ossrhPassword: ${{ secrets.MAVEN_CENTRAL_PASSWORD }}

.github/workflows/javadoc.yml

@@ -111,7 +111,6 @@ subprojects {
     }
 
     tasks.withType(Test).configureEach {//Configure all tests
-
         def examplesDir = rootProject.layout.projectDirectory.dir("key.ui/examples").getAsFile()
         def runAllProofsReportDir = layout.buildDirectory.dir("report/runallproves/").get().getAsFile()
         systemProperty "test-resources", "src/test/resources"
@@ -325,9 +324,29 @@ subprojects {
             }
             repositories {
                 maven {
-                    name = "keylocal"
+                    name = "LOCAL"
                     url= uri("$rootDir/local")
                 }
+
+                maven { // deployment to git.key-project.org/key-public/key
+                    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
+                            name = 'Private-Token'
+                            value = envOrPropertyValue("TOKEN")
+                        } else {
+                            // Support for Gitlab CI
+                            name = 'Job-Token'
+                            value = envOrPropertyValue("CI_JOB_TOKEN")
+                        }
+                    }
+                    authentication {
+                        header(HttpHeaderAuthentication)
+                    }
+                }
             }
         }
 
@@ -364,34 +383,8 @@ nexusPublishing {
              * You can test signing with `gradle sign`, and publish with `gradle publish`.
              * https://central.sonatype.org/publish/publish-guide/
              */
-            username = project.properties.getOrDefault("ossrhUsername", "")
-            password = project.properties.getOrDefault("ossrhPassword", "")
-        }
-    }
-}
-
-            maven { // deployment to git.key-project.org
-                name = "GitlabPackages"
-                url "https://git.key-project.org/api/v4/projects/35/packages/maven"
-                credentials(HttpHeaderCredentials) {
-                    if (System.getenv("TOKEN") != null) {
-                        name = 'Private-Token'
-                        value = System.getenv("TOKEN")
-                    } else {
-                        name = 'Job-Token'
-                        value = System.getenv("CI_JOB_TOKEN")
-                    }
-                }
-                authentication {
-                    header(HttpHeaderAuthentication)
-                }
-            }
-            }
-        }
-
-        signing {
-            useGpgCmd() // works better than the Java implementation, which requires PGP keyrings.
-            sign publishing.publications.mavenJava
+            username = envOrPropertyValue("ossrhUsername")
+            password = envOrPropertyValue("ossrhPassword")
         }
     }
 }
@@ -447,3 +440,12 @@ if (jacocoEnabled.toBoolean()) {
     project.logger.lifecycle("Jacoco enabled. Test performance will be slower.")
     apply from: rootProject.file("scripts/jacocokey.gradle")
 }
+
+
+def envOrPropertyValue(String key) {
+    if(key in System.getenv()) {
+        return System.getenv(key)
+    }else{
+        return project.properties.getOrDefault(key, "$key-not-found")
+    }
+}

.github/workflows/nightlydeploy.yml

@@ -57,7 +57,8 @@ public static void main(String[] args) {
      *
      * @param location the Path with the path to the source directory of the Java project
      *        to be verified
-     * @return the {@link KeYEnvironment} that provides the context for all following verification tasks
+     * @return the {@link KeYEnvironment} that provides the context for all following verification
+     *         tasks
      * @throws ProblemLoaderException if the setup fails
      */
     private static KeYEnvironment<?> setupEnvironment(Path location) throws ProblemLoaderException {

.github/workflows/sonarqube.yml

@@ -453,7 +453,8 @@ public void setFactory(ITermProgramVariableCollectorFactory factory) {
     /**
      * sets the factory for origin term labels
      *
-     * @param originFactory the {@link OriginTermLabelFactory} to use, if null is passed, origin labels
+     * @param originFactory the {@link OriginTermLabelFactory} to use, if null is passed, origin
+     *        labels
      *        should not be created
      */
     public void setOriginFactory(OriginTermLabelFactory originFactory) {