[build] Fix for #3597 -- Timeouts of coverage, remove for now

.github/workflows/main.yml

@@ -310,113 +310,4 @@ jobs:
         fi
         bash _scripts/test-static-checks.sh -t ${{matrix.language}} -f diff $Before $After
 
-  coverage:
-    runs-on: ${{ matrix.os }}
-    strategy:
-      fail-fast: false
-      matrix:
-        os: [ ubuntu-latest]
-        language: [ CSharp ]
-    steps:
-    - name: Info
-      shell: bash
-      run: |
-        arch
-        uname -a
-        if [ -f /proc/cpuinfo ]; then cat /proc/cpuinfo; fi
-    - name: Checkout
-      uses: actions/checkout@v3
-      with:
-        fetch-depth: 0
-    - name: Install Dotnet
-      uses: actions/setup-dotnet@v3.2.0
-      with:
-        dotnet-version: '7.0.x'
-    - name: Test Dotnet
-      run: |
-        dotnet --version
-        dotnet --info
-        dotnet --list-runtimes
-        dotnet --list-sdks
-    - name: Install Java
-      uses: actions/setup-java@v3
-      with:
-        java-version: '11'
-        distribution: 'zulu'
-    - name: Test Java
-      run: |
-        dotnet --version
-        java --version
-        javac --version
-    - name: Install Dart
-      if: ${{ matrix.language == 'Dart' }}
-      uses: dart-lang/setup-dart@v1
-    - name: Test Dart
-      if: ${{ matrix.language == 'Dart' }}
-      run: |
-        dart --version
-    - name: Install Go
-      if: ${{ matrix.language == 'Go' }}
-      uses: actions/setup-go@v4
-      with:
-        go-version: '^1.18.0'
-    - name: Test Go
-      if: ${{ matrix.language == 'Go' }}
-      run: |
-        go version
-    - name: Install Python
-      uses: actions/setup-python@v4.7.0
-      with:
-        python-version: '3.10'
-    - name: Test Python
-      run: |
-        python --version
-    - name: Upgrade Pip.
-      run: |
-        python -m ensurepip --upgrade
-    - name: Test Pip.
-      run: |
-        pip --version
-    - name: Install Antlr tool
-      run: |
-         pip install antlr4-tools
-    - name: Install JavaScript
-      if: ${{ matrix.language == 'JavaScript' }}
-      uses: actions/setup-node@v3.7.0
-      with:
-        node-version: '16.13.0'
-    - name: Test JavaScript
-      if: ${{ matrix.language == 'JavaScript' }}
-      run: |
-        node --version
-    - name: Install Trash
-      shell: bash
-      run: |
-        dotnet tool restore
-    - name: Test Trash install
-      shell: bash
-      run: |
-        dotnet trgen -- --help
-    - name: Test
-      shell: bash
-      run: |
-        if [ "${{github.event_name}}" == "pull_request" ]; then
-            Before="${{github.event.pull_request.base.sha}}"
-            After="${{github.event.pull_request.head.sha}}"
-        else
-            Before="${{github.event.before}}"
-            After="${{github.event.after}}"
-        fi
-        bash _scripts/test-cover.sh -f diff $Before $After
-    - name: Archive
-      shell: bash
-      run: |
-        mkdir downloads
-        find . -type f -name cover.html | xargs tar -uf archive.tar
-        cd downloads
-        tar -xvf ../archive.tar
-    - name: Upload Archive
-      uses: actions/upload-artifact@v3
-      with:
-        name: coverage
-        path: downloads
+