From f6f337c63c8da34982e1f4e2fcfef9bfbccae00c Mon Sep 17 00:00:00 2001 From: Alexander Brandes Date: Wed, 10 Jan 2024 10:31:20 +0100 Subject: [PATCH] Create grading.yaml --- .github/workflows/grading.yaml | 35 ++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 .github/workflows/grading.yaml diff --git a/.github/workflows/grading.yaml b/.github/workflows/grading.yaml new file mode 100644 index 0000000..3ca2f98 --- /dev/null +++ b/.github/workflows/grading.yaml @@ -0,0 +1,35 @@ +name: 'Quality Monitor' + +on: + push: + pull_request: + types: [ opened, synchronize, reopened ] + workflow_dispatch: + +jobs: + monitor-project-quality: + name: Run the quality monitor + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: Set up JDK 21 + uses: actions/setup-java@v3 + with: + distribution: 'temurin' + java-version: '21' + check-latest: true + cache: 'maven' + - name: Set up Maven + uses: stCarolas/setup-maven@v4.5 + with: + maven-version: 3.9.5 + - name: Build # (compile, test with code and mutation coverage, and run static analysis) + run: mvn -ntp clean verify -Ppit + - name: Extract pull request number # (commenting on the pull request requires the PR number) + uses: jwalton/gh-find-current-pr@v1 + id: pr + - name: Run Quality Monitor + uses: uhafner/quality-monitor@v1 + with: + github-token: ${{ secrets.GITHUB_TOKEN }} + pr-number: ${{ steps.pr.outputs.number }}