summaryrefslogtreecommitdiff
path: root/.github/workflows/coverage.yml
blob: e5346405dcbbdc153a1c744062e9e83ca137eb3d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
# It broke at some point, don't know how to fix it
# name: Coverage

# 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}}

#   # 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}}