Moving Strategies to NCore

.github/workflows/nightlydeploy.yml

@@ -1,4 +1,4 @@
-name: Nightly Deployer of Weekly Builds
+name: Weekly Builds of KeY
 
 on:
   workflow_dispatch:
@@ -9,32 +9,65 @@ 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
-      # # 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: 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@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@v5
+
+      - 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@v6
+        with:
+          name: javadoc
+          path: "javadoc.tar.xz"
+
+      - name: Upload ShadowJar
+        uses: actions/upload-artifact@v6
+        with:
+          name: shadowjars
+          path: "*/build/libs/*-exe.jar"
+
       - name: Delete previous nightly release
         continue-on-error: true
         env:
@@ -50,3 +83,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@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@v5
+
+      - name: Upload to SNAPSHOT repository
+        run: ./gradlew publishMavenJavaPublicationToKEYLABRepository
+        env:
+          BUILD_NUMBER: "SNAPSHOT"
+          GITLAB_DEPLOY_TOKEN: ${{ secrets.GITLAB_DEPLOY_TOKEN }}
+

.github/workflows/tests.yml

@@ -80,7 +80,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        test: [ testProveRules, testRunAllFunProofs, testRunAllInfProofs ]
+        test: [ testProveRules, testRunAllFunProofs, testRunAllInfProofs, testRunAllWdProofs ]
         os: [ ubuntu-latest ]
         java: [ 21 ]
     runs-on: ${{ matrix.os }}

.gitignore

@@ -67,6 +67,7 @@ key/key.ui/examples/**/**.proof
 
 # generated by the antlr plugin of IntelliJ
 key.core/src/main/antlr4/gen/
+*.tokens
 
 scripts/tools/checkstyle/key_checks_incremental.xml
 checkstyle-diff.txt