Skip to content

Fix number comparisons when applying filters, BigDecimal handling #198

Fix number comparisons when applying filters, BigDecimal handling

Fix number comparisons when applying filters, BigDecimal handling #198

Workflow file for this run

name: ci
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on:
push:
branches:
- master
pull_request:
jobs:
build:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- ubuntu-latest
- macos-latest
java-version: [ 8, 11 ]
jacoco: [true, false]
exclude:
- os: macos-latest
jacoco: true
- os: ubuntu-latest
jacoco: true
java-version: 11
- os: ubuntu-latest
jacoco: false
java-version: 8
steps:
- uses: actions/checkout@v2
- uses: actions/setup-java@v3
with:
distribution: 'adopt'
architecture: x64
java-version: |
${{ matrix.java-version }}
11
cache: 'maven'
- name: Build & Test
run: ./mvnw -B verify && if [[ "${{ matrix.java-version }}" != "11" ]]; then JAVA_HOME="$JAVA_HOME_${{ matrix.java-version }}_X64" ./mvnw -B verify -P antlr-skip; fi
- name: Generate JaCoCo Badge
if: ${{ matrix.jacoco }}
uses: cicirello/jacoco-badge-generator@v2
id: jacoco
with:
generate-branches-badge: true
branches-badge-filename: branches.svg
- name: Commit and push the badge (if it changed)
if: ${{ matrix.jacoco && github.head_ref == 'master' }}
uses: EndBug/add-and-commit@v7
with:
default_author: github_actions
message: 'commit badge'
add: '*.svg'