Skip to content

Sorting pivot values numerically when field is numeric. #27197

Sorting pivot values numerically when field is numeric.

Sorting pivot values numerically when field is numeric. #27197

Workflow file for this run

name: Build the repository
on:
pull_request:
# Cancel running build when new ref gets pushed.
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-latest-4-cores-public
strategy:
matrix:
java-version: [ 17 ]
steps:
- uses: actions/checkout@v4
- name: Set up JDK ${{ matrix.java-version }}
uses: actions/setup-java@v3
with:
java-version: ${{ matrix.java-version }}
distribution: temurin
- name: License check
run: ./mvnw -B --fail-fast license:check
- name: Build with Maven
run: ./mvnw -B --fail-fast -Pedantic -Dspotbugs.skip -Dmaven.wagon.http.retryHandler.class=standard -Dmaven.wagon.http.retryHandler.count=3 -Dhttp.keepAlive=false -Dmaven.wagon.http.pool=false -Dmaven.wagon.httpconnectionManager.ttlSeconds=120 verify javadoc:javadoc
env:
JAVA_OPTS: -Xmx6G
TIMEOUT_MULTIPLIER: 2.0