Skip to content

Commit 90ecbe2

Browse files
committed
CI: add tarpaulin
1 parent dc4dc9c commit 90ecbe2

File tree

2 files changed

+37
-44
lines changed

2 files changed

+37
-44
lines changed

.github/workflows/coverage.yml

+37
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
name: coverage
2+
3+
on: [push]
4+
jobs:
5+
test:
6+
name: coverage
7+
runs-on: ubuntu-latest
8+
container:
9+
image: xd009642/tarpaulin:develop-nightly
10+
options: --security-opt seccomp=unconfined
11+
strategy:
12+
matrix:
13+
# FIXME: currently not available for 5.0.0.
14+
# It might be related to boxroot dependency, and we would need to bump
15+
# up the ocaml-rs dependency
16+
ocaml_version: ["4.14"]
17+
steps:
18+
- name: Checkout repository
19+
uses: actions/checkout@v4.1.1
20+
21+
- name: Setup OCaml ${{ matrix.ocaml_version }}
22+
uses: ocaml/setup-ocaml@v2
23+
with:
24+
ocaml-compiler: ${{ matrix.ocaml_version }}
25+
# https://github.com/ocaml/setup-ocaml/issues/211#issuecomment-1058882386
26+
# disable-cache: true
27+
28+
# Not activating all features because of Caml
29+
- name: Generate code coverage
30+
run: |
31+
cargo +nightly tarpaulin --verbose --release --workspace --timeout 120 --out xml
32+
33+
# - name: Upload to codecov.io
34+
# uses: codecov/codecov-action@v2
35+
# with:
36+
# # token: ${{secrets.CODECOV_TOKEN}} # not required for public repos
37+
# fail_ci_if_error: true

.github/workflows/coverage.yml.disabled

-44
This file was deleted.

0 commit comments

Comments
 (0)