Skip to content

Merge branch 'develop' into main #75

Merge branch 'develop' into main

Merge branch 'develop' into main #75

Workflow file for this run

name: build
on: [push]
jobs:
build_job: # job name
runs-on: ubuntu-22.04
steps:
- name: Use JDK 17
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
- name: Install libreoffice
run: sudo apt-get install -y libreoffice
- name: Standard Checkout
uses: actions/checkout@v3.2.0
- name: Use JDK 17
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
- name: Build with Maven
run: mvn -Davispa.ecm.office.home='/usr/lib/libreoffice' -B verify
- name: Generate JaCoCo Badge
if: github.ref == 'refs/heads/main'
id: jacoco
uses: cicirello/jacoco-badge-generator@v2.9.0
with:
generate-branches-badge: true
- name: Log coverage percentage
if: github.ref == 'refs/heads/main'
run: |
echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
echo "branch coverage = ${{ steps.jacoco.outputs.branches }}"
- name: Commit and push the badge (if it changed)
if: github.ref == 'refs/heads/main'
uses: EndBug/add-and-commit@v9.1.1
with:
default_author: github_actions
message: 'Autogenerated JaCoCo coverage badge'
add: '*.svg'