key/.github/workflows/nightlydeploy.yml at 0198756d454f4748567b9f5a393c8af7937bc679 · KeYProject/key · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
name: Weekly Builds of KeY

on:
  workflow_dispatch:
  schedule:
    - cron: '0 5 * * 1' # every monday morning

permissions:
  contents: write
  id-token: write

env:
  JAVA_VERSION: 21

jobs:
  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'
          gpg-private-key: ${{ secrets.GPG_PRIVATE_KEY }}
          gpg-passphrase: ${{ secrets.GPG_PASSPHRASE }}

      - name: Setup Gradle
        uses: gradle/actions/setup-gradle@v5

      - name: Build with Gradle
        run: ./gradlew --parallel assemble javadoc alldoc

      - name: Upload ShadowJar
        uses: actions/upload-artifact@v7
        with:
          name: shadowjars
          path: "*/build/libs/*-exe.jar"
          retention-days: 1

      - name: Package
        run: tar cvf key-javadoc.tar.xz build/docs/javadoc

      - name: Upload Javadoc
        uses: actions/upload-artifact@v7
        with:
          name: javadoc
          path: "key-javadoc.tar.xz"
          retention-days: 1

      - name: Delete previous nightly release
        continue-on-error: true
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        run: |
          gh release delete KEY-2.12.4-Release-Candidate --yes --cleanup-tag

      - name: Create nightly release
        id: create_release
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        run: |
          gh release create --generate-notes --title "KeY 2.12.4 Pre-Release" \
             --prerelease --notes-start-tag KEY-2.12.3 \
             KEY-2.12.4-Release-Candidate key.ui/build/libs/key-*-exe.jar key-javadoc.tar.xz

      - run: export GPG_TTY=$(tty)
      - name: Upload to SNAPSHOT repository
        run: ./gradlew --parallel publishMavenJavaPublicationToKEYLABRepository
        env:
          BUILD_NUMBER: "SNAPSHOT"
          GITLAB_DEPLOY_TOKEN: ${{ secrets.GITLAB_DEPLOY_TOKEN }}