forked from fplll/fplll
-
Notifications
You must be signed in to change notification settings - Fork 0
40 lines (34 loc) · 1.03 KB
/
Copy pathcodecov.yml
File metadata and controls
40 lines (34 loc) · 1.03 KB
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
name: Code Coverage
on:
pull_request:
push:
env:
MAX_ENUM_DIM: 64
MAX_PARALLEL_ENUM_DIM: 20
JOBS: 2
CXXFLAGS: -O2 -ggdb -fprofile-arcs -ftest-coverage
jobs:
linux:
runs-on: ubuntu-latest
steps:
- name: Check out
uses: actions/checkout@v4
- name: Install prerequisites
run: |
sudo DEBIAN_FRONTEND=noninteractive apt-get update
sudo DEBIAN_FRONTEND=noninteractive apt-get install autoconf automake libtool libgmp-dev libmpfr-dev libqd-dev
- name: Configure
run: |
./autogen.sh
./configure --disable-static --with-max-enum-dim=$MAX_ENUM_DIM \
--with-max-parallel-enum-dim=$MAX_PARALLEL_ENUM_DIM
- name: Compile
run: make -j $JOBS
- name: Generate
run: |
make -j $JOBS check
cd fplll && gcov .libs/libfplll_la-*.o && cd ..
- name: Push
uses: codecov/codecov-action@v1
with:
token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos