Skip to content

Bump express from 4.21.0 to 4.21.2 in /frontend (#55) #256

Bump express from 4.21.0 to 4.21.2 in /frontend (#55)

Bump express from 4.21.0 to 4.21.2 in /frontend (#55) #256

# This workflow will compile and test verify
# when a push or pull request action on master is activated
# or when a push is done in a release
name: BackEnd Workflow
on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
mvn_flow:
runs-on: ubuntu-latest
name: mvn flow Java 21
steps:
- uses: actions/checkout@master
with:
fetch-depth: 0
- name: Setup java
uses: actions/setup-java@master
with:
java-version: 21
distribution: 'corretto'
- name: compile
run: mvn -B -f pom.xml clean compile
- name: run test suits
run: mvn -B -f pom.xml verify
- name: jacoco report
run: mvn -B -f pom.xml -Dmaven.test.skip=true package
- name: sonar cloud
env:
SONAR_ORGANIZATION: ${{ secrets.SONAR_ORGANIZATION }}
SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
SONAR_PROJECT: ${{ secrets.SONAR_PROJECT }}
run: mvn -B -f pom.xml package -Dmaven.test.skip=true org.sonarsource.scanner.maven:sonar-maven-plugin:sonar -Dsonar.java.source=21 -Dsonar.java.target=21 -Dsonar.token=$SONAR_TOKEN -Dsonar.host.url=https://sonarcloud.io/ -Dsonar.organization=$SONAR_ORGANIZATION -Dorganization=$SONAR_ORGANIZATION -Dsonar.projectKey=dan323_natural-deduction
- name: set PR number
if: github.event_name == 'pull_request' && github.actor != 'dependabot[bot]'
run: |
mkdir jacoco-natural-deduction/target/tmp
mv -v jacoco-natural-deduction/target/site/* jacoco-natural-deduction/target/tmp/
mkdir jacoco-natural-deduction/target/site/$PR
mv -v jacoco-natural-deduction/target/tmp/* jacoco-natural-deduction/target/site/$PR/
env:
PR: ${{ github.event.pull_request.number }}
- name: publish jacoco report
uses: peaceiris/actions-gh-pages@v4.0.0
if: github.event_name == 'pull_request' && github.actor != 'dependabot[bot]'
env:
PR: ${{ github.event.pull_request.number }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./jacoco-natural-deduction/target/site/
user_name: 'jacoco-report[bot]'
user_email: 'jacoco-report[bot]@users.noreply.github.com'
commit_message: "jacoco-report for PR ${PR}"
keep_files: true
- name: publish jacoco report
uses: peaceiris/actions-gh-pages@v4.0.0
if: github.event_name != 'pull_request' && github.actor != 'dependabot[bot]'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./jacoco-natural-deduction/target/site/
user_name: 'jacoco-report[bot]'
user_email: 'jacoco-report[bot]@users.noreply.github.com'
commit_message: 'jacoco-report'
keep_files: true
mutation_testing:
runs-on: ubuntu-latest
name: Mutation Testing
steps:
- uses: actions/checkout@master
- name: Setup java
uses: actions/setup-java@master
with:
java-version: 21
distribution: 'corretto'
- name: mutation testing
run: |
mvn -B -f pom.xml clean test-compile org.pitest:pitest-maven:mutationCoverage org.pitest:pitest-maven:report-aggregate-module
mkdir -p target/site
mv target/pit-reports target/site
- name: set PR number
if: github.event_name == 'pull_request' && github.actor != 'dependabot[bot]'
run: |
mkdir -p target/tmp
mv -v target/site/* target/tmp
mkdir -p target/site/$PR
mv -v target/tmp/* target/site/$PR
env:
PR: ${{ github.event.pull_request.number }}
- name: publish pitest report
uses: peaceiris/actions-gh-pages@v4.0.0
if: github.event_name == 'pull_request' && github.actor != 'dependabot[bot]'
env:
PR: ${{ github.event.pull_request.number }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/site/
user_name: 'pitest-report[bot]'
user_email: 'pitest-report[bot]@users.noreply.github.com'
commit_message: "pitest-report for PR $PR"
keep_files: true
- name: publish pitest report
uses: peaceiris/actions-gh-pages@v4.0.0
if: github.event_name != 'pull_request' && github.actor != 'dependabot[bot]'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/site/
user_name: 'pitest-report[bot]'
user_email: 'pitest-report[bot]@users.noreply.github.com'
commit_message: 'pitest-report'
keep_files: true