Merge pull request #221 from secure-software-engineering/ci/snapshotrelease

ci/snapshotrelease

Author: swissiety

.github/workflows/dependabot.yml

@@ -4,10 +4,6 @@ on:
   pull_request:
     types: [ opened, reopened, synchronize ]
 
-permissions:
-  contents: write
-  pull-requests: write
-
 jobs:
   ApproveAndMerge:
     name: Auto approve Dependabot PRs

.github/workflows/deploy-snapshots.yml renamed to .github/workflows/deploy-snapshot.yml

@@ -24,5 +24,5 @@ jobs:
           server-password: ${{ secrets.MAVEN_CENTRAL_TOKEN }}
           gpg-private-key: ${{ secrets.GPG_PRIVATE_KEY }}
           gpg-passphrase: ${{ secrets.GPG_PRIVATE_KEY_PASSPHRASE }}
-          mvn-cli-args: '-DskipTests -Dmaven.javadoc.skip=true -Pdeployment'
+          mvn-cli-args: '-DskipTests -Pdeployment'
           deploy-mode: snapshot

.github/workflows/doc_deployment.yml

@@ -0,0 +1,28 @@
+name: Documentation Deployment
+
+on:
+  push:
+    branches:
+      - develop
+    tags:
+      - '*'
+
+concurrency:
+  group: gh-pages
+
+jobs:
+  deploy-doc:
+    name: Deploy Stable Documentation
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v4
+        with:
+          ref: ${{ github.ref }}
+
+      - name: Deploy Documentation
+        uses: secure-software-engineering/actions/documentation/deployment@develop
+        with:
+          version: ${{ github.ref_name }}

.github/workflows/documentation-deployment.yml

@@ -10,7 +10,7 @@ on:
     paths:
       - mkdocs.yml
       - docs/**
-      - .github/workflows/doc_preview.yml
+      - .github/workflows/documentation-pr-preview.yml
 
 concurrency:
   group: gh-pages
@@ -21,16 +21,13 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write
-      pull-requests: write
+      pull-requests: write      # for posting a comment
 
     steps:
       - name: Checkout Repository
         uses: actions/checkout@v4
         with:
-          fetch-depth: 0
+          fetch-depth: 0    # mike needs full history to push to gh-pages
 
       - name: Create Documentation Preview
-        uses: secure-software-engineering/actions/documentation/handle-pr-preview@develop
-        with:
-          preview-name: pr-${{ github.event.pull_request.number }}
-          preview-title: Preview for PR-${{ github.event.pull_request.number }}
+        uses: secure-software-engineering/actions/documentation/pr-preview@develop

.github/workflows/doc_preview.yml renamed to .github/workflows/documentation-pr-preview.yml

@@ -1,6 +1,6 @@
 name: Codestyle etc.
 
-on: [pull_request]
+on: [ pull_request ]
 
 jobs:
   check-formatting:

.github/workflows/formalities.yml

@@ -14,16 +14,16 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        framework: [Soot, SootUp, Opal]
+        framework: [ Soot, SootUp, Opal ]
     runs-on: ubuntu-latest
     steps:
-    - name: Checkout source code
-      uses: actions/checkout@v4
-    - name: Set up JDK 11
-      uses: actions/setup-java@v4
-      with:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+      - name: Set up JDK 11
+        uses: actions/setup-java@v4
+        with:
           distribution: adopt
           java-package: jdk
           java-version: 11
-    - name: Build with Maven
-      run: mvn -B clean verify -DtestSetup=${{ matrix.framework }}
+      - name: Build with Maven
+        run: mvn -B clean verify -DtestSetup=${{ matrix.framework }}

.github/workflows/maven.yml renamed to .github/workflows/tests.yml

@@ -363,11 +363,16 @@
                         <version>0.9.0</version>
                         <extensions>true</extensions>
                         <configuration>
+                            <deploymentName>${project.artifactId} ${project.version}</deploymentName>
                             <!-- Same id as in the deployment workflow -->
                             <publishingServerId>central</publishingServerId>
+                            <waitUntil>validated</waitUntil>
                             <autoPublish>true</autoPublish>
                             <waitUntil>validated</waitUntil>
-                            <deploymentName>${project.name} ${project.version}</deploymentName>
+                            <excludeArtifacts>
+                                <exclude>testCore</exclude>
+                                <exclude>SparseBoomerangCorrectness</exclude>
+                            </excludeArtifacts>
                         </configuration>
                     </plugin>
                 </plugins>