Skip to content

fix remove duplicated list elements when size are same, for issue #2944 #5947

fix remove duplicated list elements when size are same, for issue #2944

fix remove duplicated list elements when size are same, for issue #2944 #5947

Workflow file for this run

name: Java CI
on:
push:
# https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-excluding-paths
paths-ignore:
- 'docs/**'
- '**.md'
pull_request:
paths-ignore:
- 'docs/**'
- '**.md'
workflow_dispatch:
jobs:
test:
runs-on: ${{ matrix.os }}
timeout-minutes: 20
strategy:
matrix:
os: [ ubuntu-20.04 ]
java: [ 8, 11, 17, 21 ]
fail-fast: false
max-parallel: 16
name: Test on JDK ${{ matrix.java }} OS ${{ matrix.os }}
steps:
- uses: actions/checkout@v3
- uses: actions/setup-java@v3
with:
distribution: zulu
java-version: ${{ matrix.java }}
cache: maven
- name: Build with Maven and generate code coverage
run: ./mvnw -V --no-transfer-progress -Pgen-javadoc -Pgen-dokka clean package
# https://github.com/marketplace/actions/codecov
- uses: codecov/codecov-action@v3
with:
name: codecov-umbrella
token: ${{ secrets.CODECOV_TOKEN }}