summaryrefslogtreecommitdiff
path: root/.github/workflows/coverage.yml
blob: 1957e90bb950a566b4b3abb67c6e78bcdc88991f (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
name: Coverage

on:
  push:
    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:
          profile: minimal
          # toolchain: nightly
          toolchain: nightly-2020-03-12 # latest nightly makes `quote` crash with -Zno-landing-pads
          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 -Zno-landing-pads'
      - 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:
          profile: minimal
          # toolchain: nightly
          toolchain: nightly-2020-03-12 # latest nightly makes `quote` crash with -Zno-landing-pads
          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 -Zno-landing-pads'
      - 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}}