diff --git a/.github/workflows/pr-testomg b/.github/workflows/pr-testomg deleted file mode 100644 index 19c71491..00000000 --- a/.github/workflows/pr-testomg +++ /dev/null @@ -1,36 +0,0 @@ -name: PR testing - -on: - pull_request: - branches: [ master ] - -jobs: - mavenTesting: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - name: Cache local Maven repository - uses: actions/cache@v3 - with: - path: ~/.m2/repository - key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }} - restore-keys: | - ${{ runner.os }}-maven- - - name: Set up the Java JDK - uses: actions/setup-java@v3 - with: - java-version: '11' - distribution: 'adopt' - - name: Load custom deps - run: | - mvn install -DskipTests=true --file pom.xml - - - name: Run all tests - run: | - mvn -B clean test -DskipTests=false --file pom.xml - if [ -f "target/site/jacoco/index.html" ]; then echo "Total coverage: $(cat target/site/jacoco/index.html | grep -o 'Total[^%]*%' | grep -o '[0-9]*%')"; fi - - - name: Log coverage percentage - run: | - if [ ! -f "target/site/jacoco/index.html" ]; then echo "No coverage information available"; fi - if [ -f "target/site/jacoco/index.html" ]; then echo "Total coverage: $(cat target/site/jacoco/index.html | grep -o 'Total[^%]*%' | grep -o '[0-9]*%')"; fi