ci: disable coverage in a way that passes

1 files changed, 91 insertions, 89 deletions

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index e534640..77cef85 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -1,93 +1,95 @@
 # It broke at some point, don't know how to fix it
-# name: Coverage
+name: Coverage
 
-# on:
-#   push:
-#     branches: [ master ]
-#   # pull_request:
-#   #   branches: [ master ]
+on:
+  push:
+    branches: [ master ]
+  # pull_request:
+  #   branches: [ master ]
 
-# jobs:
-#   # cargo test normally
-#   grcov:
-#     name: Gather coverage data with grcov
-#     runs-on: ubuntu-latest
-#     steps:
-#       - name: Checkout branch
-#         uses: actions/checkout@master
-#         with:
-#           submodules: true
-#       - name: Setup Rust toolchain
-#         uses: actions-rs/toolchain@v1
-#         with:
-#           toolchain: nightly
-#           override: true
-#       - name: Ensure workspace is clean
-#         uses: actions-rs/cargo@v1
-#         with:
-#           command: clean
-#       - name: Run tests with -Zprofile
-#         uses: actions-rs/cargo@v1
-#         with:
-#           command: test
-#         env:
-#           CI_GRCOV: '1' #  Tell the test harness to increase stack size
-#           CARGO_INCREMENTAL: '0'
-#           RUSTFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
-#           RUSTDOCFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
-#       - name: Run grcov
-#         id: grcov
-#         uses: actions-rs/grcov@v0.1
-#       - name: Upload coverage data to codecov.io
-#         uses: codecov/codecov-action@v1
-#         with:
-#           token: ${{secrets.CODECOV_TOKEN}}
-#           file: ${{steps.grcov.outputs.report}}
+jobs:
+  # cargo test normally
+  grcov:
+    if: false # it's broken, don't know how to fix
+    name: Gather coverage data with grcov
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout branch
+        uses: actions/checkout@master
+        with:
+          submodules: true
+      - name: Setup Rust toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: nightly
+          override: true
+      - name: Ensure workspace is clean
+        uses: actions-rs/cargo@v1
+        with:
+          command: clean
+      - name: Run tests with -Zprofile
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+        env:
+          CI_GRCOV: '1' #  Tell the test harness to increase stack size
+          CARGO_INCREMENTAL: '0'
+          RUSTFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
+          RUSTDOCFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
+      - name: Run grcov
+        id: grcov
+        uses: actions-rs/grcov@v0.1
+      - name: Upload coverage data to codecov.io
+        uses: codecov/codecov-action@v1
+        with:
+          token: ${{secrets.CODECOV_TOKEN}}
+          file: ${{steps.grcov.outputs.report}}
 
-#   # Collect each feature independently to help identify missing tests
-#   grcov-split:
-#     name: Gather coverage data with grcov
-#     runs-on: ubuntu-latest
-#     strategy:
-#       matrix:
-#         feature:
-#           - parser
-#           - printer
-#           - binary
-#           - import
-#           - beta_normalize
-#           - alpha_normalize
-#           - type_inference
-#     steps:
-#       - name: Checkout branch
-#         uses: actions/checkout@master
-#         with:
-#           submodules: true
-#       - name: Setup Rust toolchain
-#         uses: actions-rs/toolchain@v1
-#         with:
-#           toolchain: nightly
-#           override: true
-#       - name: Ensure workspace is clean
-#         uses: actions-rs/cargo@v1
-#         with:
-#           command: clean
-#       - name: Run tests with -Zprofile
-#         uses: actions-rs/cargo@v1
-#         with:
-#           command: test
-#           args: tests::spec::${{matrix.feature}}
-#         env:
-#           CI_GRCOV: '1' #  Tell the test harness to increase stack size
-#           CARGO_INCREMENTAL: '0'
-#           RUSTFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
-#           RUSTDOCFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
-#       - name: Run grcov
-#         id: grcov
-#         uses: actions-rs/grcov@v0.1
-#       - name: Upload coverage data to codecov.io
-#         uses: codecov/codecov-action@v1
-#         with:
-#           token: ${{secrets.CODECOV_TOKEN}}
-#           file: ${{steps.grcov.outputs.report}}
-#           flags: ${{matrix.feature}}
+  # Collect each feature independently to help identify missing tests
+  grcov-split:
+    if: false # it's broken, don't know how to fix
+    name: Gather coverage data with grcov
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        feature:
+          - parser
+          - printer
+          - binary
+          - import
+          - beta_normalize
+          - alpha_normalize
+          - type_inference
+    steps:
+      - name: Checkout branch
+        uses: actions/checkout@master
+        with:
+          submodules: true
+      - name: Setup Rust toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: nightly
+          override: true
+      - name: Ensure workspace is clean
+        uses: actions-rs/cargo@v1
+        with:
+          command: clean
+      - name: Run tests with -Zprofile
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: tests::spec::${{matrix.feature}}
+        env:
+          CI_GRCOV: '1' #  Tell the test harness to increase stack size
+          CARGO_INCREMENTAL: '0'
+          RUSTFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
+          RUSTDOCFLAGS: '-Zprofile -Ccodegen-units=1 -Cinline-threshold=0 -Clink-dead-code -Coverflow-checks=off -Cpanic=abort -Zpanic_abort_tests'
+      - name: Run grcov
+        id: grcov
+        uses: actions-rs/grcov@v0.1
+      - name: Upload coverage data to codecov.io
+        uses: codecov/codecov-action@v1
+        with:
+          token: ${{secrets.CODECOV_TOKEN}}
+          file: ${{steps.grcov.outputs.report}}
+          flags: ${{matrix.feature}}