diff options
| author | Jack Lloyd <[email protected]> | 2020-11-21 06:57:53 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2020-11-21 08:40:10 -0500 |
| commit | 051fe3bc92c9ca7e856136408f605e7fa3e2a5c8 (patch) | |
| tree | eced370f5a40291b31ebeab18ef6acf4310afe5c /.github | |
| parent | 4cef74f10c79870d62d01fcb915c9d666bd64126 (diff) | |
Move Coverage build to GH Actions
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c0d5a9b80..964d7a8fe 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -18,6 +18,9 @@ jobs: matrix: include: + - target: coverage + compiler: gcc + host_os: ubuntu-20.04 - target: shared compiler: gcc host_os: ubuntu-20.04 |