Skip to content

Commit ff1ce97

Browse files
WolframPfeiferWolframPfeifer
authored
Merge branch 'main' into jmlScripts
2 parents ec5929d + 3f366e9 commit ff1ce97

781 files changed

Lines changed: 14249 additions & 9487 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.github/release.yml‎

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,15 +14,23 @@ changelog:
1414
- title: Breaking Changes 🗲
1515
labels:
1616
- "Breaking Change"
17+
- "Breaks API"
1718
- title: Exciting New Features 🎉
1819
labels:
1920
- "Exciting New Feature"
21+
- title: Features
22+
labels:
23+
- "Feature"
2024
- title: Enhancement
2125
labels:
2226
- "Enhancement"
2327
- title: Bug Fixes
2428
labels:
25-
- "🐞 Bug"
29+
- ":lady_beetle: Bug"
30+
- "✋ Soundness"
31+
- title: Dependencies
32+
labels:
33+
- dependencies
2634
- title: Other Changes
2735
labels:
2836
- "*"

‎.github/workflows/code_quality.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,22 +12,22 @@ jobs:
1212
checkerFramework:
1313
runs-on: ubuntu-latest
1414
steps:
15-
- uses: actions/checkout@v5
15+
- uses: actions/checkout@v6
1616
- name: Set up JDK 21
1717
uses: actions/setup-java@v5
1818
with:
1919
java-version: 21
2020
distribution: 'corretto'
2121
cache: 'gradle'
2222
- name: Setup Gradle
23-
uses: gradle/actions/setup-gradle@v4
23+
uses: gradle/actions/setup-gradle@v5
2424
- name: Build with Gradle
2525
run: ./gradlew -DENABLE_NULLNESS=true compileTest
2626

2727
formatting:
2828
runs-on: ubuntu-latest
2929
steps:
30-
- uses: actions/checkout@v5
30+
- uses: actions/checkout@v6
3131
- uses: actions/setup-java@v5
3232
with:
3333
distribution: 'corretto'

‎.github/workflows/gradle-publish.yml‎

Lines changed: 0 additions & 35 deletions
This file was deleted.

‎.github/workflows/javadoc.yml‎

Lines changed: 0 additions & 38 deletions
This file was deleted.

‎.github/workflows/nightlydeploy.yml‎

Lines changed: 70 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
name: Nightly Deployer of Weekly Builds
1+
name: Weekly Builds of KeY
22

33
on:
44
workflow_dispatch:
@@ -9,32 +9,65 @@ permissions:
99
contents: write
1010
id-token: write
1111

12+
env:
13+
JAVA_VERSION: 21
14+
1215

1316
jobs:
14-
deploy:
17+
build:
1518
runs-on: ubuntu-latest
1619
steps:
17-
# weigl: Should produce fancier release notes, but needs some configuration
18-
# # https://github.com/marketplace/actions/release-changelog-builder
19-
# - name: "Build Changelog"
20-
# id: build_changelog
21-
# uses: mikepenz/release-changelog-builder-action@v3.7.0
22-
# with:
23-
# ignorePreReleases: true
24-
# fetchReviewers: true
25-
26-
- uses: actions/checkout@v5
27-
- name: Set up JDK 21
20+
- uses: actions/checkout@v6
21+
- name: Set up JDK ${{ env.JAVA_VERSION }}
2822
uses: actions/setup-java@v5
2923
with:
30-
java-version: 21
24+
java-version: ${{ env.JAVA_VERSION }}
3125
distribution: 'temurin'
26+
cache: 'gradle'
3227

3328
- name: Setup Gradle
34-
uses: gradle/actions/setup-gradle@v4
29+
uses: gradle/actions/setup-gradle@v5
30+
3531
- name: Build with Gradle
3632
run: ./gradlew --parallel assemble
3733

34+
doc:
35+
needs: [build]
36+
runs-on: ubuntu-latest
37+
steps:
38+
- uses: actions/checkout@v6
39+
- name: Set up JDK ${{ env.JAVA_VERSION }}
40+
uses: actions/setup-java@v5
41+
with:
42+
java-version: ${{ env.JAVA_VERSION }}
43+
distribution: 'temurin'
44+
cache: 'gradle'
45+
46+
- name: Setup Gradle
47+
uses: gradle/actions/setup-gradle@v5
48+
49+
- name: Build Documentation with Gradle
50+
run: ./gradlew alldoc
51+
52+
- name: Package
53+
run: tar cvf key-javadoc.tar.xz build/docs/javadoc
54+
55+
deploy:
56+
needs: [build, doc]
57+
runs-on: ubuntu-latest
58+
steps:
59+
- name: Upload Javadoc
60+
uses: actions/upload-artifact@v6
61+
with:
62+
name: javadoc
63+
path: "javadoc.tar.xz"
64+
65+
- name: Upload ShadowJar
66+
uses: actions/upload-artifact@v6
67+
with:
68+
name: shadowjars
69+
path: "*/build/libs/*-exe.jar"
70+
3871
- name: Delete previous nightly release
3972
continue-on-error: true
4073
env:
@@ -50,3 +83,25 @@ jobs:
5083
gh release create --generate-notes --title "Nightly Release" \
5184
--prerelease --notes-start-tag KEY-2.12.3 \
5285
nightly key.ui/build/libs/key-*-exe.jar
86+
87+
deploy-maven:
88+
needs: [ build, doc ]
89+
runs-on: ubuntu-latest
90+
steps:
91+
- uses: actions/checkout@v6
92+
- name: Set up JDK ${{ env.JAVA_VERSION }}
93+
uses: actions/setup-java@v5
94+
with:
95+
java-version: ${{ env.JAVA_VERSION }}
96+
distribution: 'temurin'
97+
cache: 'gradle'
98+
99+
- name: Setup Gradle
100+
uses: gradle/actions/setup-gradle@v5
101+
102+
- name: Upload to SNAPSHOT repository
103+
run: ./gradlew publishMavenJavaPublicationToKEYLABRepository
104+
env:
105+
BUILD_NUMBER: "SNAPSHOT"
106+
GITLAB_DEPLOY_TOKEN: ${{ secrets.GITLAB_DEPLOY_TOKEN }}
107+

‎.github/workflows/opttest.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ jobs:
1616
tests: [":key.core.proof_references:test", ":key.core.symbolic_execution:test"]
1717
runs-on: ${{matrix.os}}
1818
steps:
19-
- uses: actions/checkout@v5
19+
- uses: actions/checkout@v6
2020
- name: Set up JDK ${{matrix.java}}
2121
uses: actions/setup-java@v5
2222
with:
@@ -25,12 +25,12 @@ jobs:
2525
cache: 'gradle'
2626

2727
- name: Setup Gradle
28-
uses: gradle/actions/setup-gradle@v4
28+
uses: gradle/actions/setup-gradle@v5
2929
- name: Test with Gradle
3030
run: ./gradlew --continue ${{ matrix.tests }}
3131

3232
- name: Upload test results
33-
uses: actions/upload-artifact@v4
33+
uses: actions/upload-artifact@v6
3434
if: success() || failure()
3535
with:
3636
name: test-results-${{ matrix.tests }}

‎.github/workflows/sonarqube.yml‎

Lines changed: 0 additions & 49 deletions
This file was deleted.

‎.github/workflows/tests.yml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ jobs:
3434
env:
3535
GH_TOKEN: ${{ github.token }}
3636
steps:
37-
- uses: actions/checkout@v5
37+
- uses: actions/checkout@v6
3838

3939
- name: Setup SMT solvers
4040
uses: keyproject/setup-smt@v0
@@ -55,13 +55,13 @@ jobs:
5555
cache: 'gradle'
5656

5757
- name: Setup Gradle
58-
uses: gradle/actions/setup-gradle@v4
58+
uses: gradle/actions/setup-gradle@v5
5959

6060
- name: Test with Gradle
6161
run: ./gradlew --continue -DjacocoEnabled=true :${{ matrix.modules }}:test
6262

6363
- name: Upload test results
64-
uses: actions/upload-artifact@v4
64+
uses: actions/upload-artifact@v6
6565
if: success() || failure()
6666
with:
6767
name: test-results-${{ matrix.os }}-${{ matrix.modules }}
@@ -80,12 +80,12 @@ jobs:
8080
strategy:
8181
fail-fast: false
8282
matrix:
83-
test: [ testProveRules, testRunAllFunProofs, testRunAllInfProofs ]
83+
test: [ testProveRules, testRunAllFunProofs, testRunAllInfProofs, testRunAllWdProofs ]
8484
os: [ ubuntu-latest ]
8585
java: [ 21 ]
8686
runs-on: ${{ matrix.os }}
8787
steps:
88-
- uses: actions/checkout@v5
88+
- uses: actions/checkout@v6
8989
- name: Set up JDK 21
9090
uses: actions/setup-java@v5
9191
with:
@@ -97,12 +97,12 @@ jobs:
9797
uses: keyproject/setup-smt@v0
9898

9999
- name: Setup Gradle
100-
uses: gradle/actions/setup-gradle@v4
100+
uses: gradle/actions/setup-gradle@v5
101101
- name: "Running tests: ${{ matrix.test }}"
102102
run: ./gradlew --continue ${{ matrix.test }}
103103

104104
- name: Upload test results
105-
uses: actions/upload-artifact@v4
105+
uses: actions/upload-artifact@v6
106106
if: success() || failure() # run this step even if previous step failed
107107
with:
108108
name: test-results-${{ matrix.test }}

0 commit comments

Comments
 (0)