From b0a5165b442f5face92af30aedc7b0d899c862bf Mon Sep 17 00:00:00 2001 From: cpq Date: Fri, 18 Dec 2020 11:47:56 +0000 Subject: [PATCH] Uload coverage --- .github/workflows/test.yml | 2 +- Makefile | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index cfe0af0b..2dabeb69 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -16,7 +16,7 @@ jobs: - name: Install packages run: HOMEBREW_NO_AUTO_UPDATE=1 brew install jq mbedtls - name: make - run: make test test++ + run: make test++ upload-coverage windows: runs-on: ubuntu-latest steps: diff --git a/Makefile b/Makefile index 126e457c..aee79c33 100644 --- a/Makefile +++ b/Makefile @@ -58,6 +58,9 @@ coverage: test gcov -l -n *.gcno | sed '/^$$/d' | sed 'N;s/\n/ /' gcov mongoose.gcno >/dev/null +upload-coverage: coverage + curl -s https://codecov.io/bash | /bin/bash + infer: infer run -- cc test/unit_test.c -c -W -Wall -Werror -Isrc -I. -O2 -DMG_ENABLE_MBEDTLS=1 -DMG_ENABLE_LINES -I/usr/local/Cellar/mbedtls/2.23.0/include -DMG_ENABLE_IPV6=1 -g -o /dev/null