blob: 77cef85ef6666292584b085585001390a34f0f7d (
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
94
95
|
# 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:
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:
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}}
|
