Skip to content

Commit

Permalink
CI: add tarpaulin
Browse files Browse the repository at this point in the history
  • Loading branch information
dannywillems committed Mar 12, 2024
1 parent dc4dc9c commit 1ddd853
Show file tree
Hide file tree
Showing 2 changed files with 35 additions and 44 deletions.
35 changes: 35 additions & 0 deletions .github/workflows/coverage.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
name: coverage

on: [push]

env:
OCAML_VERSION: "4.14.0"

jobs:
test:
name: coverage
runs-on: ubuntu-latest
container:
image: xd009642/tarpaulin:develop-nightly
options: --security-opt seccomp=unconfined
steps:
- name: Checkout repository
uses: actions/[email protected]

- name: Setup OCaml ${{ env.OCAML_VERSION }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ env.OCAML_VERSION }}
# https://github.com/ocaml/setup-ocaml/issues/211#issuecomment-1058882386
# disable-cache: true

# Not activating all features because of Caml
- name: Generate code coverage
run: |
cargo +nightly tarpaulin --verbose --release --workspace --timeout 120 --out xml --engine=llvm
# - name: Upload to codecov.io
# uses: codecov/codecov-action@v2
# with:
# # token: ${{secrets.CODECOV_TOKEN}} # not required for public repos
# fail_ci_if_error: true
44 changes: 0 additions & 44 deletions .github/workflows/coverage.yml.disabled

This file was deleted.

0 comments on commit 1ddd853

Please sign in to comment.