Skip to content

add death mode

add death mode #16

Workflow file for this run

name: build
on:
workflow_dispatch:
push:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up the Java JDK
uses: actions/setup-java@v3
with:
java-version: "17"
distribution: "adopt"
- name: Build tests
run: mvn -B test
- name: Run tests and generate JaCoco report
run: mvn jacoco:prepare-agent test install jacoco:report
- name: Generate JaCoCo Badge
id: jacoco
uses: cicirello/jacoco-badge-generator@v2
- name: Log coverage percentage
run: |
echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
echo "branch coverage = ${{ steps.jacoco.outputs.branches }}"
- name: Commit the badge (if it changed)
run: |
if [[ `git status --porcelain` ]]; then
git config --global user.name 'Github Action'
git config --global user.email 'action@github.com'
git add -A
git commit -m "Autogenerated JaCoCo coverage badge"
fi
- name: push changes
uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: main