Delete .github/workflows/pr-testomg

.github/workflows/pr-testomg

@@ -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