From db79dd2d4f7cc3dfebfbd94c1fe6d0b21ccc342a Mon Sep 17 00:00:00 2001 From: Leo Galambos Date: Sat, 18 Apr 2026 15:38:19 +0200 Subject: [PATCH] ci: refine build, benchmark, and Pages workflows * add workflow-level concurrency control for benchmark and Pages pipelines * keep release changelog generation and the separate distZip step in the build workflow by design * align the benchmark workflow with the primary Gradle action setup * add Gradle wrapper validation to benchmark runs * switch benchmark caching and setup to gradle/actions/setup-gradle * remove the redundant Gradle wrapper executable-bit adjustment * keep benchmark generation in Pages unchanged while improving workflow control --- .github/workflows/benchmarks.yml | 12 +++++++++--- .github/workflows/build.yml | 9 --------- .github/workflows/pages.yml | 1 + 3 files changed, 10 insertions(+), 12 deletions(-) diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml index ead51db..0421e4d 100644 --- a/.github/workflows/benchmarks.yml +++ b/.github/workflows/benchmarks.yml @@ -19,6 +19,10 @@ on: - 'gradlew.bat' - '.github/workflows/benchmarks.yml' +concurrency: + group: benchmarks-${{ github.ref }} + cancel-in-progress: true + jobs: jmh: runs-on: ubuntu-latest @@ -31,15 +35,17 @@ jobs: - name: Check out sources uses: actions/checkout@v4 + - name: Validate Gradle wrapper + uses: gradle/actions/wrapper-validation@v4 + - name: Set up JDK 21 uses: actions/setup-java@v4 with: distribution: temurin java-version: '21' - cache: gradle - - name: Make Gradle executable - run: chmod +x ./gradlew + - name: Set up Gradle caching and instrumentation + uses: gradle/actions/setup-gradle@v4 - name: Verify reproducibility inputs shell: bash diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index d2e9c2c..9d6de74 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -156,15 +156,6 @@ jobs: test -f gradle.properties test -f gradle/verification-metadata.xml - - name: Generate release changelog for tagged builds - if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/release@') - shell: bash - run: | - set -euo pipefail - chmod +x ./tools/generate-release-notes.sh - mkdir -p build/generated/release-notes - ./tools/generate-release-notes.sh "${GITHUB_REF_NAME}" > build/generated/release-notes/CHANGELOG.md - - name: Build release inputs, signed Maven bundle, and SBOM env: SIGNING_KEY: ${{ secrets.SIGNING_KEY }} diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index ad63625..513a1c6 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -19,6 +19,7 @@ on: - 'gradlew' - 'gradlew.bat' - '.github/workflows/pages.yml' + - '.github/workflows/benchmarks.yml' - 'tools/generate-pages-badges.py' workflow_dispatch: