-name: Coverage
+
+name: Coverage Report
on:
push:
branches:
- '**'
- '!gh-pages'
+ pull_request:
+ branches:
+ - '**'
+ - '!gh-pages'
jobs:
build:
- name: ${{ matrix.cc }} ${{ matrix.double && 'double' || 'float'}}
runs-on: ubuntu-latest
if: "!contains(github.event.head_commit.message, '[skip ci]')"
- strategy:
- matrix:
- cc: [gcc, clang]
- double: [0, 1]
steps:
- - name: Build Gwion
- uses: fennecdjay/gwion-action@v4
+ - uses: fennecdjay/gwion-action@v4
with:
- USE: ${{ matrix.double }}
- RUN: true
+ dir: .
+ ref: ${ github.head }
env:
- CC: ${{ matrix.cc }}
USE_COVERAGE: 1
- CFLAGS: -fsanitize=address -fno-omit-frame-pointer
- LDFLAGS: -fsanitize=address -fno-omit-frame-pointer
- VALGRIND: NO_VALGRIND
- USE_MEMCHECK: 0
- SEVERITY: 3
+
+ - uses: actions/setup-python@v1
+ with:
+ python-version: '3.x'
+
+ - name: Install gcovr
+ run: |
+ pip install git+https://github.com/gcovr/gcovr.git
+
+ - name: Clone report repo
+ run: git clone https://github.com/fennecdjay/gwion-coverage-report
+
+ - name: Generate Report
+ run: |
+ printf '# Gwion coverage\n```\n' > gwion-coverage-report/README.md
+ gcovr -s --filter '.*\.c$' src >> gwion-coverage-report/README.md
+ printf '```\n' >> gwion-coverage-report/README.md
+ COV_TXT=$(gcovr -s --html-details index.html --html-title "Gwion coverage report" --filter '.*\.c$' src | grep lines | cut -d" " -f2)
+ COV_NUM=${COV_TXT: : -1}
+ echo $COV_NUM > gwion-coverage-report/coverage_num.txt
+ sed -i 's/<html>/<script type="text\/javascript" src="focus.js"><\/script><html>/' index.src_*.html
+ branch=$(basename ${{ github.event.ref }})
+ cd gwion-coverage-report/
+ bash old.sh $branch
+ bash summary.sh
+ cd ..
+ gcovr --filter '.*\.c$' src > gwion-coverage-report/html/$branch/lines.txt
+ gcovr --filter '.*\.c$' --branches src > gwion-coverage-report/html/$branch/branches.txt
+ mv *.html gwion-coverage-report/html/$branch
+
+ - name: Make badge
+ if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'
+ run: |
+ cd gwion-coverage-report
+ bash badge.sh
+
+ - name: Push Report
+ if: github.event_name == 'push'
+ run: |
+ cd gwion-coverage-report
+ git config --local user.email "action@github.com"
+ git config --local user.name "GitHub Action"
+ git remote set-url origin https://${{ secrets.COVERAGE_TOKEN }}@github.com/fennecdjay/gwion-coverage-report.git
+ git add README.md coverage_num.txt
+ git commit -m "Update coverage" || true
+ git push || true
+ git push origin :gh-pages || true
+ cp focus.js html
+ git add -f html
+ git commit -m "Update html report"
+ git subtree push --prefix html origin gh-pages
+
+
+ - name: Make html mail
+ uses: docker://pandoc/core:2.9
+ with:
+ args: "--from gfm --to html -o mail.html gwion-coverage-report/README.md -o mail.html"
+
+ - name: Send mail
+ uses: dawidd6/action-send-mail@master
+ with:
+ server_address: smtp.gmail.com
+ server_port: 465
+ username: ${{ secrets.MAIL_USERNAME }}
+ password: ${{ secrets.MAIL_PASSWORD }}
+ subject: Github Actions job result
+ body: file://README.md
+ to: ${{ github.event.repository.owner.email }},${{ github.event.pusher.email }}
+ from: Gwion Coverage action
+
+# content_type: text/html
projects / gwion.git / commitdiff